squaresLab/overhead-timing-effects-in-ROS squaresLab/overhead-timing-effects-in-ROS

  • Stars
    star
    2
  • Language
    TeX
  • License
    GNU General Publi...
  • Created over 5 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
squaresLab/overhead-timing-effects-in-ROS
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

footpatch

OCaml
15
star
11

SemanticCrashBucketing

Semantic Crash Bucketing
Python
14
star
12

SOAR

Synthesis API Refactor
Python
10
star
13

COBOLd

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

SOSRepair

Python
9
star
15

SynthLift

The home of SynthLift
OCaml
7
star
16

Houston

Automated system testing for autonomous vehicles
Python
6
star
17

BatFix

C++
5
star
18

ArduBugs

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

MELT

Python
5
star
20

pldi-artifact-2019

4
star
21

Kaskara

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

type-recovery

Type equivalence and recovery for decompiled code
OCaml
3
star
23

blameandshame

Python
3
star
24

MultiEdit_Experiments

What are multiedit bugs?
Java
2
star
25

boggart

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

ros-answers-miner

A web scraper for ROS Answers
Python
2
star
27

Rooibos

OCaml
2
star
28

physfix

Automatically fixing unit inconsistencies detected by Phys
Python
2
star
29

squaresLab.github.io

squaresLab webpage
CSS
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