andre15silva
PhD @ASSERT-KTH π§βπ³ ML on Code
KTH Royal Institute of TechnologyStockholm, Sweden
Pinned Repositories
act
Run your GitHub Actions locally π
assert-gold-mine
This is an informal repo for ASSERT teammates to share awesome stuff.
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)
mufin
MUFIN: Improving Neural Repair Models with Back-Translation
flacoco
FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
repairllama
RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair
repairnator
Software development bots for Github. Join the bot revolution! :star2::robot::star2::revolving_hearts:
gitbug-java
A Reproducible Benchmark of Recent Java Bugs
gitbugactions
βοΈ A tool to build bug-fix benchmarks with GitHub Actions βοΈ
andre15silva's Repositories
andre15silva/mufin
MUFIN: Improving Neural Repair Models with Back-Translation
andre15silva/act
Run your GitHub Actions locally π
andre15silva/AssertFixer
A testing tool to replace the expected value of assertions to match the current behavior
andre15silva/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)
andre15silva/bears-benchmark
An Extensible Java Bug Benchmark for Automatic Program Repair Studies
andre15silva/bigcode-evaluation-harness
A framework for the evaluation of autoregressive code generation language models.
andre15silva/cerberus
Program repair platform that provides interface to multiple state-of-the-art program repair tools
andre15silva/copilot-repair
andre15silva/automated_generation_of_interpretability_testbeds
andre15silva/defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
andre15silva/failingProject
andre15silva/flacoco
Fault localization for Java based on Jacoco
andre15silva/gumtree-spoon-ast-diff
Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
andre15silva/hub-docs
Docs of the Hugging Face Hub
andre15silva/jacoco
:microscope: Java Code Coverage Library
andre15silva/jacoco-bugs
andre15silva/megadiff
A Dataset of 600k Java Source Code Changes Categorized by Diff Size http://arxiv.org/pdf/2108.04631
andre15silva/narrator
David Attenborough narrates your life
andre15silva/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.
andre15silva/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.
andre15silva/program-repair.github.io
Automated program repair bibliography, tools and benchmarks.
andre15silva/QuixBugs
A multi-lingual program repair benchmark set based on the Quixey Challenge
andre15silva/repairnator
Software development bot that automatically repairs build failures on continuous integration. Join the bot revolution! :star2::robot::star2::revolving_hearts:
andre15silva/so-vits-svc-fork
so-vits-svc fork with realtime support, improved interface and more features.
andre15silva/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.
andre15silva/SRepair
β SRepair: Powerful LLM-based Program Repairer with $0.029/Fixed Bug
andre15silva/sssb
Script to scrape SSSB's website and send email notifications when new listings are posted
andre15silva/test-runner
framework to run JUnit tests in a new JVM
andre15silva/tracr
andre15silva/WASP-exercises