ecnusse / Kea

Related projects ⓘ

Alternatives and complementary repositories for Kea

• setting-defect-fuzzing / home
  ☆35Updated 10 months ago
• XYIheng / MobileAppTesting
  Mobile App Analysis and Testing Literature
  ☆70Updated last month
• tingsu / DroidDefects
  A database of crash (exception) bugs for Android apps
  ☆20Updated 10 months ago
• ecnusse / BinPRE
  ☆19Updated 3 weeks ago
• ecnusse / HMDroidbot
  A lightweight HarmonyOS NEXT app tester.
  ☆22Updated last week
• uw-pluverse / pluverse-latex-style-guide
  ☆23Updated 2 months ago
• tingsu / Stoat
  Stoat (STochastic model App Tester) - an automatic testing tool for android apps
  ☆143Updated last year
• UniCodeSphere / Creal
  ☆26Updated 3 weeks ago
• the-themis-benchmarks / home
  The Themis Benchmark for evaluating automated GUI testing
  ☆143Updated 10 months ago
• ise-uiuc / uniapr
  Fast and Precise On-the-fly Patch Validation for All
  ☆10Updated last year
• ecnu-sa-labs / ecnu-sa-labs
  Lab sessions for the software analysis course at East China Normal University.
  ☆117Updated this week
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆20Updated last month
• ise-uiuc / DeepREL
  Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)
  ☆34Updated last year
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆31Updated 2 weeks ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 2 years ago
• ise-uiuc / TitanFuzz
  ☆72Updated last year
• stan6 / se-paper
  ☆74Updated last year
• wcphkust / CodeLLMPaper
  ☆173Updated this week
• nus-test / XPress
  Automated testing for XML XPath execution
  ☆17Updated 10 months ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated 11 months ago
• stg-tud / MUBench
  ☆55Updated 11 months 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…
  ☆33Updated 2 years ago
• backes / javaslicer
  JavaSlicer is an open-source dynamic slicing tool developed at Saarland University
  ☆41Updated 4 years ago
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆19Updated 9 months ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated this week
• AndroidTestBugReport / ReCDroid
  An android bug reproduce tool
  ☆18Updated 2 years ago
• ddaa2000 / GDsmith
  ☆11Updated 3 months ago
• nus-test / Deopt
  Datalog Engines OPtimization Tester.
  ☆13Updated 10 months ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 4 months ago
• ise-uiuc / NablaFuzz
  Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)
  ☆22Updated 8 months ago