Alternatives and similar repositories for submission_icst2020

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

• GIST-NJU / RestCT
  Combinatorial Testing of RESTful APIs
  ☆21Updated 2 months ago
• fasten-project / fasten
  Analyse package dependency networks at the call graph level
  ☆93Updated last year
• SeUniVr / RestTestGen
  A framework for automated black-box testing of RESTful APIs.
  ☆49Updated last year
• codingsoo / REST_Go
  ☆26Updated 5 months ago
• isa-group / RESTest
  RESTest: Automated Black-Box Testing of RESTful Web APIs
  ☆217Updated 2 months ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆309Updated last year
• WebFuzzing / EMB
  EvoMaster Benchmark (EMB): a set of web/enterprise applications for experimentation in automated system testing
  ☆34Updated last week
• microsoft / codamosa
  ☆138Updated 5 months ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆69Updated 6 months ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆69Updated 5 months ago
• codingsoo / nlp2rest
  ☆12Updated last year
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆147Updated last month
• microsoft / sarif-vscode-extension
  SARIF Microsoft Visual Studio Code extension
  ☆114Updated last month
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆34Updated last week
• bumper-app / nicad
  NiCad3 Clone Detector
  ☆31Updated 10 years ago
• Fraunhofer-AISEC / cpg
  A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.
  ☆325Updated this week
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 4 months ago
• lascam-UFU / automatic-diff-dissection
  ADD extracts features from patches such as repair patterns.
  ☆13Updated last year
• resess / Slicer4J
  Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.
  ☆45Updated last year
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆178Updated 2 months ago
• rohanpadhye / JQF
  JQF + Zest: Coverage-guided semantic fuzzing for Java.
  ☆698Updated last week
• EngineeringSoftware / jattack
  Compiler Testing using Template Java Programs
  ☆27Updated last year
• SAP / project-kb
  Home page of project "KB"
  ☆125Updated last month
• tree-sitter / tree-sitter-ql
  tree-sitter grammar for the CodeQL language
  ☆28Updated 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…
  ☆32Updated 2 months ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆40Updated last year
• chengpeng-wang / LLMDFA
  LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
  ☆113Updated 2 months ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆45Updated 10 months ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 2 months ago
• soot-oss / heros
  IFDS/IDE Solver for Soot and other frameworks
  ☆241Updated last year