marko-vasic / ekstaziSharp
RTS technique for .NET
☆12Updated 3 years ago
Alternatives and similar repositories for ekstaziSharp
Users that are interested in ekstaziSharp are comparing it to the libraries listed below
Sorting:
- STARTS - A tool for STAtic Regression Test Selection☆30Updated 10 months ago
- Practical Program Repair via Bytecode Mutation☆64Updated 2 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- Software testing optimization tool☆28Updated last year
- ☆24Updated 10 years ago
- Research material about software engineering at KTH☆17Updated 9 months ago
- Tool for analyzing git log messages and diffs.☆22Updated 4 years ago
- ☆14Updated 2 years ago
- ☆15Updated 5 years ago
- Multilingual Code Co-Evolution Using Large Language Models☆13Updated 5 months ago
- SZZ Algorithm To Detect Fault-Inducing Commits☆13Updated 3 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- OpenCL extension for csmith.☆24Updated 8 years ago
- Official repository for PraPR source code☆14Updated 4 years ago
- ☆20Updated 10 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 2 years ago
- Bash function library☆23Updated 8 months ago
- Automated program repair bibliography, tools and benchmarks.☆79Updated last month
- 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
- Checkout our paper: History Driven Program Repair here☆11Updated 6 years ago
- ☆14Updated last year
- CoREBench: Errors in Find, Grep, Make☆13Updated 9 years ago
- Compiler Testing using Template Java Programs☆27Updated last year
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 4 months ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆78Updated 8 months ago
- Dynamic Analysis for Concurrent Programs☆24Updated 7 months ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆70Updated 2 years ago
- ☆17Updated 2 years ago
- ☆16Updated 3 months ago