qhanam / Java-RSRepair
A Java version of the automatic program repair described by RSRepair and GenProg.
☆10Updated 9 years ago
Alternatives and similar repositories for Java-RSRepair:
Users that are interested in Java-RSRepair are comparing it to the libraries listed below
- ☆19Updated 3 years ago
- ☆13Updated this week
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆17Updated last year
- Program Vulnerability Repair via Inductive Inference☆18Updated last year
- ☆20Updated 6 years ago
- Concolic analysis tool for Java☆21Updated last year
- Basic Gradle configuration and example drivers to get started with WALA☆29Updated last month
- ☆31Updated last month
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 4 years ago
- CoREBench: Errors in Find, Grep, Make☆14Updated 9 years ago
- The ISLa (Input Specification Language) language & solver.☆62Updated 6 months ago
- Sys, but no longer in Haskell☆18Updated 2 years ago
- Mutation-guided mutation-based fuzz testing☆41Updated 6 months ago
- KLEE / CSE Project☆43Updated 4 years ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 3 months ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆11Updated 7 years ago
- ☆20Updated 2 years ago
- ☆25Updated 3 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 3 years ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆12Updated 7 years ago
- Automated program repair bibliography, tools and benchmarks.☆76Updated 2 months ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆39Updated 4 years ago
- ☆25Updated 3 years ago
- A mutation tool for source and IR☆13Updated 6 years ago
- 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 6 years ago
- An empirical study on patch correctness☆15Updated 2 years ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Updated 4 years ago