department-of-reuse / DoRLinks
The Department of Reuse tracks and documents reuse of artifacts in computer science (starting with the SE field)
☆17Updated last year
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 4 years ago
- This projects mines maven central and creates a global dependency graph☆32Updated 3 years ago
- ☆14Updated 3 years ago
- ☆37Updated 7 months ago
- A vulnerability patch gathering tool☆44Updated 6 years ago
- Analyse package dependency networks at the call graph level☆96Updated 2 years ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Updated 10 years ago
- ☆24Updated 4 years ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆97Updated last year
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆33Updated 2 weeks ago
- Home page of project "KB"☆131Updated 9 months ago
- ☆23Updated 3 weeks ago
- Automated program repair bibliography, tools and benchmarks.☆83Updated 9 months ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆71Updated 2 years ago
- CogniCrypt_SAST: CrySL-to-Static Analysis Compiler☆77Updated 3 weeks ago
- Tools and standards for conducting and evaluating research in software engineering☆319Updated 4 months 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
- ☆73Updated 3 weeks ago
- Lightweight tool for slicing☆35Updated 2 weeks ago
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆44Updated 5 years ago
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- ☆20Updated 6 years ago
- The ISLa (Input Specification Language) language & solver.☆72Updated last year
- ☆17Updated 5 months ago
- This repository contains a list of papers about software supply chain☆29Updated last year
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆86Updated last year
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆102Updated last year
- LLM-based approach to find regression bugs. It checks the behavioral changes introduced by a pull request against its title, description,…☆14Updated 3 weeks ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.☆16Updated 3 weeks ago