There are no reviews yet. Be the first to send feedback to the community and the maintainers!
genprog-code
GenProg: heuristic, GP-based automatic program repair for C.BugZoo
Keep your bugs contained. A platform for studying historical software bugs.VarCLR
VarCLR: Variable Semantic Representation Pre-training via Contrastive LearningMOBSTA
MOBSTA: Mutation Based Safety Testing for Autonomy. Robustness testing for your ROS robots.Darjeeling
Language-independent, search-based program repair -- just your cup of tea! βLLMAO
GzScenic
genprog4java
ManyBugs
footpatch
SemanticCrashBucketing
Semantic Crash BucketingSOAR
Synthesis API RefactorCOBOLd
COBOLd: Gobblinβ Up COBOL Bugs for Fun and ProfitSOSRepair
SynthLift
The home of SynthLiftHouston
Automated system testing for autonomous vehiclesBatFix
ArduBugs
A dataset of roughly 140 historical, real-world bugs found in the ArduPilot vehicle autopilot system.MELT
pldi-artifact-2019
Kaskara
A simple API frontend for various static analysers (e.g., Clang)type-recovery
Type equivalence and recovery for decompiled codeblameandshame
MultiEdit_Experiments
What are multiedit bugs?boggart
WIP: Lightweight, extensible, language-independent mutation testing.ros-answers-miner
A web scraper for ROS AnswersRooibos
physfix
Automatically fixing unit inconsistencies detected by PhyssquaresLab.github.io
squaresLab webpageoverhead-timing-effects-in-ROS
logos
Official squaresLab logosProbabilisticModel_Saner2018
Paper and supporting materials of the Probabilistic Model paper Accepted to SANER 2018security-repair-benchmarks
AnotherBugMiner
footpatch-patches
valgrind-tools
Customized Valgrind with additional "debgrind" tools for collecting execution summariesSOSRepair-Replication-Package
This repository contains the data and scripts to reproduce the results of the paper: "SOSRepair: Expressive Semantic Search for Real-World Program Repair", Afsoon Afzal, Manish Motwani, Kathryn T. Stolee, Yuriy Brun, and Claire Le Goues, IEEE Transactions on Software Engineering (TSE), 2019.Love Open Source and this site? Check out how you can help us