Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by squaresLab
A curated list of projects in awesome lists by squaresLab .
https://github.com/squareslab/genprog-code
GenProg: heuristic, GP-based automatic program repair for C.
Last synced: 12 Nov 2024
https://github.com/squareslab/bugzoo
Keep your bugs contained. A platform for studying historical software bugs.
automated-repair benchmarks bugzoo dataset docker testing
Last synced: 12 Nov 2024
https://github.com/squareslab/varclr
VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning
contrastive-learning embeddings icse2022 pre-training source-code
Last synced: 12 Nov 2024
https://github.com/squareslab/semanticcrashbucketing
Semantic Crash Bucketing
bug-fixing crashing-inputs cve fixes fuzzing security
Last synced: 12 Nov 2024
https://github.com/squareslab/cobold
COBOLd: Gobblin’ Up COBOL Bugs for Fun and Profit
Last synced: 12 Nov 2024
https://github.com/squareslab/houston
Automated system testing for autonomous vehicles
houston robotic-systems test-generation testing
Last synced: 12 Nov 2024
https://github.com/squareslab/ardubugs
A dataset of roughly 140 historical, real-world bugs found in the ArduPilot vehicle autopilot system.
Last synced: 12 Nov 2024
https://github.com/squareslab/type-recovery
Type equivalence and recovery for decompiled code
Last synced: 12 Nov 2024
https://github.com/squareslab/kaskara
A simple API frontend for various static analysers (e.g., Clang)
Last synced: 12 Nov 2024
https://github.com/squareslab/physfix
Automatically fixing unit inconsistencies detected by Phys
Last synced: 12 Nov 2024
https://github.com/squareslab/multiedit_experiments
What are multiedit bugs?
Last synced: 12 Nov 2024
https://github.com/squareslab/probabilisticmodel_saner2018
Paper and supporting materials of the Probabilistic Model paper Accepted to SANER 2018
code data mausotog published replication
Last synced: 12 Nov 2024
https://github.com/squareslab/genprogscripts
The purpose of this repo is to allow user to run GenProg, TRPAutoRepair or PAR in the Defects4J bugs
Last synced: 12 Nov 2024
https://github.com/squareslab/ros-answers-miner
A web scraper for ROS Answers
Last synced: 12 Nov 2024
https://github.com/squareslab/boggart
WIP: Lightweight, extensible, language-independent mutation testing.
bugzoo docker mutation mutation-testing
Last synced: 15 Oct 2024
https://github.com/squareslab/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.
Last synced: 12 Nov 2024
https://github.com/squareslab/valgrind-tools
Customized Valgrind with additional "debgrind" tools for collecting execution summaries
Last synced: 12 Nov 2024
https://github.com/squareslab/genprogscripts-bears
Scripts for running Genprog4java on Bears
Last synced: 12 Nov 2024
https://github.com/squareslab/challengemauzack_msrchallenge2017
Paper submitted to the MSR Challenge 2017: Analyzing the Impact of Social Attributes on Commit Integration Success
archived mausotog paper published replication
Last synced: 12 Nov 2024
https://github.com/squareslab/ghcc-obfuscator
A modified version of huzecong/ghcc which clones GitHub repos, obfuscates, and then compiles C/C++ code.
Last synced: 12 Nov 2024
https://github.com/squareslab/challengemau_msrchallenge2018
Paper and supporting files for submission to the MSR Challenge 2018
Last synced: 12 Nov 2024
https://github.com/squareslab/frameworkstudytranscripts
archived data human-study zackc
Last synced: 12 Nov 2024
https://github.com/squareslab/mobsta
MOBSTA: Mutation Based Safety Testing for Autonomy. Robustness testing for your ROS robots.
Last synced: 12 Nov 2024
https://github.com/squareslab/llvm-supermutate
LLVM supermutation
llvm mutation-testing program-repair
Last synced: 12 Nov 2024
https://github.com/squareslab/directivetool
A tool for automatically checking Android directives
Last synced: 12 Nov 2024
https://github.com/squareslab/taas-2018-data
cody ckinneer taas active data
Last synced: 12 Nov 2024
https://github.com/squareslab/acsos2020-data
cody data self-* self-adapation
Last synced: 12 Nov 2024
https://github.com/squareslab/clg-scratch
Small utils that don't fit reasonably elsewhere.
Last synced: 12 Nov 2024
https://github.com/squareslab/fake-junit
A hacked version of junit 4.12 that is used to count the types of assert statements
Last synced: 12 Nov 2024
https://github.com/squareslab/genproginvdiv-dockerfiles
Dockerfiles for GenProg+Invariants
Last synced: 12 Nov 2024
https://github.com/squareslab/dirty-obfuscation
This project is adapted from CMUSTRUDEL/DIRTY.
Last synced: 12 Nov 2024