Repositories list

• CS320

  Public
  This repository contains resources for the CS320 Introduction to Software Engineering course.

  Java

  •1•0•0•0•Updated Oct 23, 2024Oct 23, 2024

• Swami

  Public
  Swami is a tool to automatically extract test oracles and generate executable tests from structured natural language specifications.

  HTML

  •

  Other

  •4•9•0•0•Updated May 13, 2024May 13, 2024

• basic-stats

  Public
  Toy implementation for CS520/620

  Java

  •367•2•0•3•Updated Feb 28, 2024Feb 28, 2024

• Blues

  Public
  This repository contains source code for Blues, an unsupervised information-Retrieval-based fault localization technique that uses bug reports to rank suspicious program statements.

  Java

  •

  MIT License

  •0•3•0•0•Updated Feb 20, 2024Feb 20, 2024

• TacTok

  Public
  The TacTok automated Coq proof script synthesis tool

  Coq

  •

  GNU Lesser General Public License v2.1

  •4•16•2•0•Updated Jan 9, 2024Jan 9, 2024

• Diva

  Public
  DIversity in VerificAtion

  Coq

  •

  MIT License

  •3•7•1•0•Updated Jan 9, 2024Jan 9, 2024

• Passport

  Public
  Coq

  •

  GNU Lesser General Public License v2.1

  •1•2•0•0•Updated Jan 9, 2024Jan 9, 2024

• cs520

  Public
  Resources for the CS520 course

  Java

  •85•1•0•3•Updated Dec 9, 2023Dec 9, 2023

• CausalTesting_ICSE20

  Public
  This repository contains the components of the artifact for the ICSE 2020 technical research paper "Causal Testing: Understanding Defects' Root Causes".

  Python

  •4•8•0•4•Updated Aug 2, 2023Aug 2, 2023

• RAFL

  Public
  This repository contains source code for Rank Aggregation-based Fault Localization (RAFL), an unsupervised technique to combine results of multiple fault localization techniques.

  Java

  •

  MIT License

  •0•4•0•0•Updated Feb 25, 2023Feb 25, 2023

• SBIR-ReplicationPackage

  Public
  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.

  HTML

  •1•9•0•0•Updated Feb 10, 2023Feb 10, 2023

• JavaRepair-replication-package

  Public
  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.

  1•2•0•0•Updated Nov 1, 2022Nov 1, 2022

• cs520-Spring2020

  Public
  Resources for the CS520 course held Spring 2020

  Java

  •29•1•0•0•Updated Oct 14, 2022Oct 14, 2022

• transformerbot9002

  Public
  Coq

  •

  GNU General Public License v3.0

  •17•0•0•0•Updated Feb 21, 2022Feb 21, 2022

• cs520-examples

  Public
  Examples for the 520 course

  Java

  •0•0•0•0•Updated Sep 16, 2021Sep 16, 2021

• juliette-trace-api

  Public
  For the Little-JIL run-time environment, a trace is essentially a sequence of real-time process execution events.

  Java

  •1•1•0•0•Updated Aug 20, 2021Aug 20, 2021

• DeltaDebuggingAssignment

  Public
  C

  •2•0•0•0•Updated Feb 3, 2021Feb 3, 2021

• Themis

  Public
  Themis™ is a software fairness tester.

  Java

  •

  Other

  •21•101•10•0•Updated Aug 6, 2020Aug 6, 2020

• AutomatedRepairApplicabilityData

  Public
  Data and scripts extending the ManyBugs and Defects4J benchmarks for evaluating applicability of automated program repair techniques.

  Python

  •

  MIT License

  •9•13•0•0•Updated Dec 10, 2017Dec 10, 2017

• debugging-examples

  Public
  Java

  •1•0•0•0•Updated Apr 19, 2017Apr 19, 2017