squaresLab/footpatch squaresLab/footpatch

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
    OCaml
  • Created almost 7 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
squaresLab/footpatch
github

squaresLab

Reviews

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

Repository Details

More Repositories

1

genprog-code

GenProg: heuristic, GP-based automatic program repair for C.
OCaml
90
star
2

BugZoo

Keep your bugs contained. A platform for studying historical software bugs.
Python
67
star
3

VarCLR

VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning
Python
38
star
4

MOBSTA

MOBSTA: Mutation Based Safety Testing for Autonomy. Robustness testing for your ROS robots.
32
star
5

Darjeeling

Language-independent, search-based program repair -- just your cup of tea! ☕
Python
28
star
6

LLMAO

Java
20
star
7

GzScenic

Python
18
star
8

genprog4java

Java
17
star
9

ManyBugs

Python
16
star
10

SemanticCrashBucketing

Semantic Crash Bucketing
Python
14
star
11

SOAR

Synthesis API Refactor
Python
10
star
12

COBOLd

COBOLd: Gobblin’ Up COBOL Bugs for Fun and Profit
C
9
star
13

SOSRepair

Python
9
star
14

SynthLift

The home of SynthLift
OCaml
7
star
15

Houston

Automated system testing for autonomous vehicles
Python
6
star
16

BatFix

C++
5
star
17

ArduBugs

A dataset of roughly 140 historical, real-world bugs found in the ArduPilot vehicle autopilot system.
Python
5
star
18

MELT

Python
5
star
19

pldi-artifact-2019

4
star
20

Kaskara

A simple API frontend for various static analysers (e.g., Clang)
Python
3
star
21

type-recovery

Type equivalence and recovery for decompiled code
OCaml
3
star
22

blameandshame

Python
3
star
23

MultiEdit_Experiments

What are multiedit bugs?
Java
2
star
24

boggart

WIP: Lightweight, extensible, language-independent mutation testing.
Python
2
star
25

ros-answers-miner

A web scraper for ROS Answers
Python
2
star
26

Rooibos

OCaml
2
star
27

physfix

Automatically fixing unit inconsistencies detected by Phys
Python
2
star
28

squaresLab.github.io

squaresLab webpage
CSS
2
star
29

overhead-timing-effects-in-ROS

TeX
2
star
30

logos

Official squaresLab logos
2
star
31

ProbabilisticModel_Saner2018

Paper and supporting materials of the Probabilistic Model paper Accepted to SANER 2018
Java
2
star
32

GenProgScripts

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

security-repair-benchmarks

Shell
1
star
34

AnotherBugMiner

Python
1
star
35

footpatch-patches

Shell
1
star
36

valgrind-tools

Customized Valgrind with additional "debgrind" tools for collecting execution summaries
C
1
star
37

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.
Shell
1
star