se-sic / jdime
syntactic merge tool for java
☆20Updated 7 months ago
Related projects: ⓘ
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆92Updated 3 months ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆28Updated last week
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆32Updated last year
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆96Updated last month
- test driver to run JUnit tests isolated in a new JVM☆15Updated 5 months ago
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆205Updated last month
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆60Updated 2 years ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆15Updated 2 months ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆156Updated this week
- Multi-Objective GP for Automated Repair of Java☆42Updated 2 years ago
- This projects mines maven central and creates a global dependency graph☆30Updated 2 years ago
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆14Updated last month
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆140Updated last month
- A constraint solver abstraction layer for Java☆20Updated last year
- toolsuite for analyzing cpp-preprocessor-based software product lines☆11Updated last year
- A suite of tools for analyzing compiled Java code.☆40Updated last week
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆76Updated last month
- This is an informal repo for ASSERT teammates to share awesome stuff.☆19Updated 3 months ago
- Software testing optimization tool☆26Updated 7 months ago
- Mutation system for Java programs, including OO mutation operators.☆66Updated 5 years ago
- Examples on how to use the Spoon Java source code transformation library☆83Updated 2 years ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆114Updated last month
- Implementing the vision of an autonomous bot to eliminate code smells through automatic refactoring.☆61Updated last year
- Java Mutation Testing Framework Written in Python☆18Updated 9 months ago
- A tool to mine refactorings in the commit history of git repositories.☆145Updated 3 years ago
- The Boa language reference compiler.☆33Updated 6 months ago
- Research material about software engineering at KTH☆18Updated last month
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆89Updated last week
- An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.☆109Updated 11 months ago
- Java bindings for LLVM libraries☆8Updated 2 years ago