squaresLab/SOAR

Stars
10
Rank 1,807,489 (Top 36 %)
Language
Python
License
BSD 3-Clause Clea...
Created about 4 years ago
Updated over 2 years ago

squaresLab/SOAR

squaresLab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Synthesis API Refactor

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 Learning

MOBSTA

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 Bucketing

COBOLd

COBOLd: Gobblin’ Up COBOL Bugs for Fun and Profit

SOSRepair

SynthLift

The home of SynthLift

Houston

Automated system testing for autonomous vehicles

BatFix

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 code

blameandshame

MultiEdit_Experiments

What are multiedit bugs?

boggart

WIP: Lightweight, extensible, language-independent mutation testing.

ros-answers-miner

A web scraper for ROS Answers

Rooibos

physfix

Automatically fixing unit inconsistencies detected by Phys

squaresLab.github.io

squaresLab webpage

overhead-timing-effects-in-ROS

logos

Official squaresLab logos

ProbabilisticModel_Saner2018

Paper and supporting materials of the Probabilistic Model paper Accepted to SANER 2018

GenProgScripts

The purpose of this repo is to allow user to run GenProg, TRPAutoRepair or PAR in the Defects4J bugs

security-repair-benchmarks

AnotherBugMiner

footpatch-patches

valgrind-tools

Customized Valgrind with additional "debgrind" tools for collecting execution summaries

SOSRepair-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.