Goblin-Ecosystem / goblinTutorial
a tutorial on how to use the datasets and tools from the Goblin ecosystem
☆7Updated 2 months ago
Alternatives and similar repositories for goblinTutorial:
Users that are interested in goblinTutorial are comparing it to the libraries listed below
- ☆10Updated last year
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆52Updated 6 years ago
- Automated program repair bibliography, tools and benchmarks.☆77Updated last month
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆75Updated 4 months ago
- Deadline countdowns for academic conferences in Software Engineering☆30Updated last week
- ☆14Updated 2 years ago
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆35Updated 2 years ago
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆33Updated 10 months ago
- Maracas is a source code and bytecode analysis framework—written in Java with the help of Spoon—which analyzes how Java libraries evolve…☆14Updated 10 months ago
- Symbolic PathFinder☆135Updated 3 months ago
- PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open Source Software (ISSTA 2024)☆17Updated last month
- A program slicer for Java, based on the system dependence graph (SDG).☆63Updated last year
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆41Updated 11 months ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- A transformer-based VS Code extension that enables one to discover vulnerabilities in Java files.☆11Updated 2 years ago
- ☆15Updated 5 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆41Updated 4 years ago
- MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset☆58Updated last week
- Dynamic analysis framework for Python☆64Updated 2 months ago
- Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs☆35Updated 2 years ago
- An automated fault localization tool for Python programs.☆22Updated 2 months ago
- ☆24Updated last week
- Clone detector using N-gram, Inverted index, and LCS☆17Updated last week
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆77Updated 4 months ago
- A dataset of Java bugs for automatic repair, derived from the C bugs of IntroClass☆13Updated 3 years ago
- ☆18Updated 3 weeks ago
- BugsInPy: Benchmarking Bugs in Python Projects☆84Updated 6 months ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆69Updated last year