André Silva's repositories
act
Run your GitHub Actions locally 🚀
AssertFixer
A testing tool to replace the expected value of assertions to match the current behavior
astor
Automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
bears-benchmark
An Extensible Java Bug Benchmark for Automatic Program Repair Studies
bigcode-evaluation-harness
A framework for the evaluation of autoregressive code generation language models.
cerberus
Program repair platform that provides interface to multiple state-of-the-art program repair tools
DD2476
Project for DD2476
defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
flacoco
Fault localization for Java based on Jacoco
gumtree-spoon-ast-diff
Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
jacoco
:microscope: Java Code Coverage Library
java-stack-trace-parser
Parses a java stack trace to access package, class, method, file, and line information of every stack trace element.
jtravis
A java binding for the TravisCI Travis REST API
megadiff
A Dataset of 600k Java Source Code Changes Categorized by Diff Size http://arxiv.org/pdf/2108.04631
narrator
David Attenborough narrates your life
neiist-website
A website where you can keep up to date with NEIIST. A platform to help students find the right Master's thesis. A place for NEIIST's members to get involved with the association.
nopol
Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.
program-repair.github.io
Automated program repair bibliography, tools and benchmarks.
QuixBugs
A multi-lingual program repair benchmark set based on the Quixey Challenge
repairnator
Software development bot that automatically repairs build failures on continuous integration. Join the bot revolution! :star2::robot::star2::revolving_hearts:
spoon
Spoon is a metaprogramming library to analyze and transform Java source code (up to Java 14). :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.
sssb
Script to scrape SSSB's website and send email notifications when new listings are posted
styler
Automatic repair system for Checkstyle errors based on machine learning.
test-runner
framework to run JUnit tests in a new JVM