marko-vasic / ekstaziSharp
RTS technique for .NET
☆12Updated 2 years ago
Related projects: ⓘ
- STARTS - A tool for STAtic Regression Test Selection☆28Updated 2 months ago
- Software testing optimization tool☆26Updated 7 months ago
- Research material about software engineering at KTH☆18Updated last month
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆60Updated 2 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆76Updated last month
- A mutation tool for source and IR☆13Updated 6 years ago
- ☆15Updated 5 years ago
- ☆14Updated last year
- Practical Program Repair via Bytecode Mutation☆63Updated 2 years ago
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆40Updated 3 years ago
- Tool for effective and efficient detection of API misuses.☆11Updated 2 years ago
- Bash function library☆22Updated 3 weeks ago
- Automated program repair bibliography, tools and benchmarks.☆73Updated last week
- ☆29Updated 2 months ago
- Multilingual Code Co-Evolution Using Large Language Models☆12Updated 3 months ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆68Updated last year
- SyPet: Component-Based Synthesis for Complex APIs☆20Updated 6 years ago
- Automated Tool for Prioritizing JUnit Test Suites☆11Updated last year
- ☆70Updated 6 years ago
- Compiler Testing using Template Java Programs☆26Updated 8 months ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆28Updated last week
- Symbolic PathFinder☆125Updated last month
- ☆12Updated 4 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆87Updated 3 months ago
- ☆11Updated 3 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 last year
- Official repository for PraPR source code☆14Updated 3 years ago
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆11Updated 5 years ago