ASSERT
Change the repository type filter
All
Repositories list
151 repositories
repairbench-framework
PublicAutomatic Repair Framework with LLMs ❤️ https://arxiv.org/pdf/2409.18952dfhl-invariants
PublicCodeRepairRL
Public- Augmenting Diffs With Runtime Information, TSE 2023 http://arxiv.org/pdf/2212.11077
flacoco
PublicFLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513depclean
PublicDepClean automatically detects and removes unused dependencies in Maven projects 🔗 https://dx.doi.org/10.1007/s10664-020-09914-8)- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
SIGBOVIKx
Publicjava-extractor
Publicsorald
PublicAutomatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033RASPing
Publictrl
Publicnano-agent
PublicQuantizedSAE
PublicRepairComp
PublicComparison of APR tools for smart contracts in Solidity https://arxiv.org/pdf/2501.04600BugsInPy
Publiclighthouse
Publicrepairbench-cache
Publicrepairbench
PublicLeaderboard of Frontier Models for Program Repair https://repairbench.github.io/GPTScan
Publicrepairllama
Publicsb-heists
Publicscientific dataset of smart contract exploits see paper http://arxiv.org/pdf/2501.04600Mokav
PublicGenerating difference exposing tests in Python http://arxiv.org/pdf/2406.10375ContractTinker
Publicmost-cited-se-papers
PublicMost cited papers in software engineering 2013-2023 https://kth.diva-portal.org/smash/get/diva2:1953484/FULLTEXT01.pdfassert-gold-mine
Publicprovable-benchmark
Publickth-software-talks
Publicml4code
Public