jku-isse / ecco

Related projects ⓘ

Alternatives and complementary repositories for ecco

• meinicke / VarexJ
  A Variability-Aware Interpreter for Java Applications
  ☆11Updated 4 years ago
• marcusvnac / argouml-spl
  A product line variant of ArgoUML. ArgoUML is the leading open source UML modeling tool and includes support for all standard UML 1.4 dia…
  ☆6Updated 9 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 3 years ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆129Updated 6 months ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 9 years ago
• se-sic / cppstats
  toolsuite for analyzing cpp-preprocessor-based software product lines
  ☆11Updated last year
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆97Updated 3 weeks ago
• xuanbachle / bugfixes
  Checkout our paper: History Driven Program Repair here
  ☆11Updated 5 years ago
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated 6 months ago
• SpoonLabs / coming
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…
  ☆92Updated 5 months ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• squaresLab / footpatch
  ☆15Updated 5 years ago
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆18Updated 2 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 2 years ago
• eclipse / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated 11 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆22Updated 4 months ago
• dvmarcilio / SpongeBugs
  SpongeBugs: Automatically Generating Fix Suggestions for SonarQube / SpotBugs
  ☆22Updated 2 years ago
• david-schuler / javalanche
  Efficient Mutation Testing for Java
  ☆38Updated 2 years ago
• jeffoffutt / muJava
  Mutation system for Java programs, including OO mutation operators.
  ☆66Updated 5 years ago
• WebFuzzing / EMB
  EvoMaster Benchmark (EMB): a set of web/enterprise applications for experimentation in automated system testing
  ☆29Updated this week
• backes / javaslicer
  JavaSlicer is an open-source dynamic slicing tool developed at Saarland University
  ☆41Updated 4 years ago
• kanonizo / kanonizo
  Automated Tool for Prioritizing JUnit Test Suites
  ☆11Updated 2 years ago
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated last year
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆52Updated 2 weeks ago
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆11Updated 9 months ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆92Updated 3 years ago
• lascam-UFU / automatic-diff-dissection
  ADD extracts features from patches such as repair patterns.
  ☆12Updated last year
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆23Updated this week
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆45Updated 3 weeks ago