Alternatives and similar repositories for Kea:

Users that are interested in Kea are comparing it to the libraries listed below

• setting-defect-fuzzing / home
  ☆37Updated last year
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 2 months ago
• XYIheng / MobileAppTesting
  Mobile App Analysis and Testing Literature
  ☆88Updated 2 months ago
• ecnusse / HMDroidbot
  A lightweight HarmonyOS NEXT app tester.
  ☆27Updated last week
• ecnu-sa-labs / ecnu-sa-labs
  Lab sessions for the software analysis course at East China Normal University.
  ☆125Updated last month
• CGCL-codes / PathEval
  This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…
  ☆31Updated last month
• ecnusse / Hydrangea
  Defect Library for LLM-enabled Software
  ☆11Updated last month
• tingsu / DroidDefects
  A database of crash (exception) bugs for Android apps
  ☆20Updated last year
• the-themis-benchmarks / home
  The Themis Benchmark for evaluating automated GUI testing
  ☆150Updated last year
• uw-pluverse / pluverse-latex-style-guide
  ☆24Updated 3 weeks ago
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆40Updated last week
• UniCodeSphere / Creal
  ☆32Updated 6 months ago
• ecnusse / BinPRE
  ☆27Updated 6 months ago
• anlalalu / Q-testing
  ☆24Updated 4 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated last year
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆68Updated last year
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆57Updated 5 months ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 2 years ago
• prosyslab / DAFL-artifact
  ☆41Updated 6 months ago
• Android-Functional-bugs-study / home
  ☆15Updated last year
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆68Updated 5 months ago
• tingsu / Stoat
  Stoat (STochastic model App Tester) - an automatic testing tool for android apps
  ☆146Updated 2 years ago
• ise-uiuc / TitanFuzz
  ☆80Updated last year
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆59Updated 2 weeks ago
• microsoft / codamosa
  ☆138Updated 5 months ago
• 5hadowblad3 / Titan
  Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"
  ☆53Updated 2 months ago
• AndroidTestBugReport / ReCDroid
  An android bug reproduce tool
  ☆22Updated 3 years ago
• lin-tan / DocTer
  For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…
  ☆35Updated 2 years ago
• DDroid-Android / home
  ☆11Updated last year
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆32Updated 6 months ago