marko-vasic / ekstaziSharp
RTS technique for .NET
☆12Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for ekstaziSharp
- STARTS - A tool for STAtic Regression Test Selection☆29Updated 4 months ago
- Practical Program Repair via Bytecode Mutation☆64Updated 2 years ago
- ☆15Updated 5 years ago
- Official repository for PraPR source code☆14Updated 3 years ago
- Research material about software engineering at KTH☆18Updated 3 months ago
- ☆25Updated this week
- ☆14Updated last year
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆97Updated last month
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 2 years ago
- ☆20Updated 5 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆67Updated last year
- ☆16Updated 5 years ago
- Dynamic analysis framework for Python☆58Updated last week
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated 2 years ago
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆41Updated 4 years ago
- Software testing optimization tool☆27Updated 9 months ago
- ☆13Updated this week
- ☆24Updated 9 years ago
- ☆13Updated 4 years ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆13Updated 3 weeks 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
- Checkout our paper: History Driven Program Repair here☆11Updated 5 years ago
- Tool for analyzing git log messages and diffs.☆21Updated 3 years ago
- Automated program repair bibliography, tools and benchmarks.☆77Updated this week
- This projects mines maven central and creates a global dependency graph☆31Updated 2 years ago
- Tool for effective and efficient detection of API misuses.☆11Updated 2 years ago
- Multilingual Code Co-Evolution Using Large Language Models☆12Updated 5 months ago
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆39Updated 9 months ago
- CoREBench: Errors in Find, Grep, Make☆14Updated 8 years ago