department-of-reuse / DoRLinks
The Department of Reuse tracks and documents reuse of artifacts in computer science (starting with the SE field)
☆17Updated 10 months ago
Alternatives and similar repositories for DoR
Users that are interested in DoR are comparing it to the libraries listed below
Sorting:
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆64Updated 3 years ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆33Updated last week
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- This projects mines maven central and creates a global dependency graph☆32Updated 3 years ago
- Tools and standards for conducting and evaluating research in software engineering☆316Updated last month
- ☆14Updated 3 years ago
- Dynamic detection of likely invariants☆237Updated this week
- ☆36Updated 5 months ago
- Automated program repair bibliography, tools and benchmarks.☆83Updated 6 months ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Updated 9 years ago
- Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time wi…☆15Updated 3 years ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆98Updated 11 months ago
- Deadline countdowns for academic conferences in Software Engineering☆57Updated 2 weeks ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- This is an informal repo for ASSERT teammates to share awesome stuff.☆21Updated 3 weeks ago
- ☆21Updated last week
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- Home page of project "KB"☆130Updated 7 months ago
- A vulnerability patch gathering tool☆43Updated 6 years ago
- Analyse package dependency networks at the call graph level☆95Updated last year
- A symbolic Java virtual machine for program analysis, verification and test generation☆116Updated 3 weeks ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Updated 3 weeks ago
- This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.☆16Updated last week
- junit tools contest infrastructure☆13Updated last year
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆85Updated last year
- BugsJS benchmark framework and data files.☆28Updated 5 years ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆47Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆72Updated 11 months ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆101Updated last year