Pinned Repositories
AutomatedRepairApplicabilityData
Data and scripts extending the ManyBugs and Defects4J benchmarks for evaluating applicability of automated program repair techniques.
basic-stats
Toy implementation for CS520/620
Blues
This repository contains source code for Blues, an unsupervised information-Retrieval-based fault localization technique that uses bug reports to rank suspicious program statements.
CausalTesting_ICSE20
This repository contains the components of the artifact for the ICSE 2020 technical research paper "Causal Testing: Understanding Defects' Root Causes".
Diva
DIversity in VerificAtion
RAFL
This repository contains source code for Rank Aggregation-based Fault Localization (RAFL), an unsupervised technique to combine results of multiple fault localization techniques.
SBIR-ReplicationPackage
This repository contains the source code, data, and results described in the paper titled: Better Automatic Program Repair by Using Bug Reports and Tests Together, in Proceedings of the 45th International Conference on Software Engineering (ICSE), 2023 by Manish Motwani and Yuriy Brun.
Swami
Swami is a tool to automatically extract test oracles and generate executable tests from structured natural language specifications.
TacTok
The TacTok automated Coq proof script synthesis tool
Themis
Themis™ is a software fairness tester.
LASER's Repositories
LASER-UMASS/Themis
Themis™ is a software fairness tester.
LASER-UMASS/TacTok
The TacTok automated Coq proof script synthesis tool
LASER-UMASS/AutomatedRepairApplicabilityData
Data and scripts extending the ManyBugs and Defects4J benchmarks for evaluating applicability of automated program repair techniques.
LASER-UMASS/SBIR-ReplicationPackage
This repository contains the source code, data, and results described in the paper titled: Better Automatic Program Repair by Using Bug Reports and Tests Together, in Proceedings of the 45th International Conference on Software Engineering (ICSE), 2023 by Manish Motwani and Yuriy Brun.
LASER-UMASS/Swami
Swami is a tool to automatically extract test oracles and generate executable tests from structured natural language specifications.
LASER-UMASS/CausalTesting_ICSE20
This repository contains the components of the artifact for the ICSE 2020 technical research paper "Causal Testing: Understanding Defects' Root Causes".
LASER-UMASS/Diva
DIversity in VerificAtion
LASER-UMASS/RAFL
This repository contains source code for Rank Aggregation-based Fault Localization (RAFL), an unsupervised technique to combine results of multiple fault localization techniques.
LASER-UMASS/Blues
This repository contains source code for Blues, an unsupervised information-Retrieval-based fault localization technique that uses bug reports to rank suspicious program statements.
LASER-UMASS/basic-stats
Toy implementation for CS520/620
LASER-UMASS/JavaRepair-replication-package
This repository contains the data and scripts to reproduce the results of the paper: "Quality of Automated Program Repair on Real-World Defects", Manish Motwani, Mauricio Soto, Yuriy Brun, René Just, and Claire Le Goues, IEEE Transactions on Software Engineering (TSE), 2020.
LASER-UMASS/Passport
LASER-UMASS/cs520
Resources for the CS520 course
LASER-UMASS/cs520-Spring2020
Resources for the CS520 course held Spring 2020
LASER-UMASS/juliette-trace-api
For the Little-JIL run-time environment, a trace is essentially a sequence of real-time process execution events.
LASER-UMASS/cs520-examples
Examples for the 520 course
LASER-UMASS/debugging-examples
LASER-UMASS/DeltaDebuggingAssignment
LASER-UMASS/transformerbot9002