PRL-PRG / dejavu-artifact
Artifact for the OOPSLA 17 DejaVu Paper
☆10Updated 7 years ago
Alternatives and similar repositories for dejavu-artifact:
Users that are interested in dejavu-artifact are comparing it to the libraries listed below
- ☆14Updated last year
- Code Search Based Automated Repair Technique☆9Updated 4 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- Probabilistic API Mining☆53Updated 7 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆40Updated 4 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 7 years ago
- ☆56Updated last year
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆56Updated 7 years ago
- ☆112Updated 2 years ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- A unification-based alias analysis and related tools☆32Updated 6 months ago
- An empirical study on patch correctness☆15Updated 2 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 4 years ago
- A tool for identifying patch correctness in test-based program repair☆19Updated 5 years ago
- DBGBench Website:☆18Updated 4 years ago
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆53Updated 7 years ago
- Official repository for PraPR source code☆14Updated 3 years ago
- ☆16Updated 5 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆68Updated 4 months ago
- ☆15Updated 5 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
- cppminer produces a code2seq compatible datasets from C++ code bases.☆23Updated 5 years ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated 2 years ago
- ☆45Updated 2 years ago
- ICSE 2018 paper implement☆17Updated 6 years ago
- Lightweight tool for slicing☆35Updated 2 weeks ago
- ☆22Updated last year
- Checkout our paper: History Driven Program Repair here☆11Updated 6 years ago
- ☆52Updated 9 years ago
- ☆25Updated 3 years ago