laser-umass Goto Github PK
Name: LASER
Type: Organization
Bio: The Laboratory for Advanced Software Engineering Research at UMass Amherst
Location: Amherst, MA
Name: LASER
Type: Organization
Bio: The Laboratory for Advanced Software Engineering Research at UMass Amherst
Location: Amherst, MA
Data and scripts extending the ManyBugs and Defects4J benchmarks for evaluating applicability of automated program repair techniques.
Toy implementation for CS520/620
This repository contains source code for Blues, an unsupervised information-Retrieval-based fault localization technique that uses bug reports to rank suspicious program statements.
This repository contains the components of the artifact for the ICSE 2020 technical research paper "Causal Testing: Understanding Defects' Root Causes".
Resources for the CS520 course
Examples for the 520 course
Resources for the CS520 course held Spring 2020
DIversity in VerificAtion
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.
For the Little-JIL run-time environment, a trace is essentially a sequence of real-time process execution events.
This repository contains source code for Rank Aggregation-based Fault Localization (RAFL), an unsupervised technique to combine results of multiple fault localization techniques.
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 is a tool to automatically extract test oracles and generate executable tests from structured natural language specifications.
The TacTok automated Coq proof script synthesis tool
Themis™ is a software fairness tester.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.