EngineeringSoftware

CoditT5

CoditT5: Pretraining for Source Code and Natural Language Editing

teco

TeCo: an ML+Execution model for test completion

jattack

Compiler Testing using Template Java Programs

gobash

Bash function library

roosterize

Tool for suggesting lemma names in Coq verification projects

codeditor

Multilingual Code Co-Evolution Using Large Language Models

inlinetest

Tests that check correctness of a single statement

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

tempo

Programming and execution model for parallel bounded exhaustive testing

VeDebug

Regression debugging tool for Java

predictiverts

ML-based regression test selection

rtscheck

RTSCheck: A framework for testing regression test selection tools

wayout

Dynamically generate Python bindings for C++ libraries

exli

Automatic extraction of inline tests (from unit tests)

roosterize-vscode

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

ekstazipp

Regression Test Selection tool for C++

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

gocgo

C language lexer, parser, and visitors

codeowners

Creates CODEOWNERS file for a give repo

fine-starts

fqs

fqs - Command line tool for writing file queries

lejit

Java JIT Testing with Template Extraction

llvm-project-yalla

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

python-hpc-frameworks

List of Python frameworks for developing HPC applications

rustlang-coverage-study

Compare performance of coverage tools for Rust and C++