EngineeringSoftware

mcoq

Mutation analysis tool for Coq verification projects

CoditT5

Code and data for "CoditT5: Pretraining for Source Code and Natural Language Editing" in ASE 2022.

jattack

Compiler Testing using Template Java Programs

teco

TeCo: an ML+Execution model for test completion

roosterize

Tool for suggesting lemma names in Coq verification projects

gobash

Standard bash library (self-proclaimed)

inlinetest

Tests that check correctness of a single statement

codeditor

Multilingual Code Co-Evolution Using Large Language Models

math-comp-corpus

Corpus of Coq code related to MathComp including several machine-readable representations

time-segmented-evaluation

Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.

jog

Pattern-Based Peephole Optimizations with Java JIT Tests

VeDebug

Regression debugging tool for Java

predictiverts

rtscheck

RTSCheck: A framework for testing regression test selection tools

wayout

Dynamically generate Python bindings for C++ libraries

roosterize-vscode

VSCode extension for Roosterize, a tool for suggesting lemma names in Coq

ekstazipp

Regression Test Selection tool for C++

exli

Automatic generation of inline tests

hdlp

Code and data for "On the Naturalness of Hardware Descriptions" in ESEC/FSE'20

ogo

Object Graph Programming

fine-ekstazi

FineRTS

More precise regression test selection via reasoning about semantics-modifying changes

codeowners

Creates CODEOWNERS file for a give repo

fine-starts