ASSERT-KTH / software-engineering-research
Research material about software engineering at KTH
☆17Updated 9 months ago
Alternatives and similar repositories for software-engineering-research
Users that are interested in software-engineering-research are comparing it to the libraries listed below
Sorting:
- Official repository for PraPR source code☆14Updated 4 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆78Updated 8 months ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- A tool for identifying patch correctness in test-based program repair☆19Updated 5 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 4 months ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆97Updated 6 months ago
- Automated program repair bibliography, tools and benchmarks.☆79Updated last month
- Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time wi…☆15Updated 2 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆30Updated 3 weeks ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆70Updated 2 years ago
- ☆33Updated this week
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆33Updated 2 years ago
- ☆73Updated 7 years ago
- ☆26Updated last week
- Mutation system for Java programs, including OO mutation operators.☆67Updated 6 years ago
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆40Updated last year
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 7 months ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆111Updated last month
- CoREBench: Errors in Find, Grep, Make☆13Updated 9 years ago
- ☆16Updated 5 years ago
- ☆16Updated 3 months ago
- This is an informal repo for ASSERT teammates to share awesome stuff.☆21Updated 2 weeks ago
- DiffSearch is a search engine for code changes. The input is a query that describes a code change and the output is a list of matching co…☆19Updated last year
- Source code and data about our large scale study about Java annotaion in practice☆12Updated 2 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆42Updated 4 years ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆45Updated last year
- ☆20Updated 3 years ago
- ☆20Updated 6 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆66Updated last year