jeffsvajlenko / MutationInjectionFrameworkLinks
☆14Updated 5 years ago
Alternatives and similar repositories for MutationInjectionFramework
Users that are interested in MutationInjectionFramework are comparing it to the libraries listed below
Sorting:
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Updated 10 years ago
- An extended version of Tool for Calculating Chidamber and Kemerer Java Metrics (and many other metrics)☆32Updated last month
- Joana - Information Flow Control for Java☆94Updated 4 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- Probabilistic API Mining☆53Updated 8 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆102Updated last year
- GenProg: heuristic, GP-based automatic program repair for C.☆99Updated 4 years ago
- Deep learning code semantic similarity☆65Updated 6 years ago
- A vulnerability patch gathering tool☆44Updated 7 years ago
- Siamese: a scalable code clone search engine☆37Updated last year
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- A python interface to joern (deprecated).☆34Updated 7 years ago
- Code clone detection; clone-related bug detection; sematic clone analysis☆224Updated last year
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆212Updated 9 months ago
- Symbolic PathFinder☆165Updated last week
- PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code☆88Updated 4 years ago
- Software vulnerabilities data set☆25Updated 5 years ago
- ☆59Updated 2 years ago
- CoREBench: Errors in Find, Grep, Make☆13Updated 10 years ago
- ☆26Updated 4 years ago
- Dynamic detection of likely invariants☆243Updated this week
- StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding t…☆11Updated 7 years ago
- ☆22Updated 8 years ago
- ☆25Updated 5 years ago
- Semantic program repair system for C programs☆101Updated 3 years ago
- Source code clone detection for clones in the Twilight Zone☆23Updated 3 years ago
- An R package of Defect Prediction Datasets for Software Engineering Research☆34Updated 8 years ago
- AutoenCODE is a Deep Learning infrastructure that allows to encode source code fragments into vector representations, which can be used t…☆60Updated 7 years ago
- Tool for mutation testing of C programs☆20Updated 5 years ago
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆44Updated 5 years ago