EngineeringSoftware

teco

TeCo: an ML+Execution model for test completion

CoditT5

CoditT5: Pretraining for Source Code and Natural Language Editing

jattack

Compiler Testing using Template Java Programs

gobash

Bash function library

codeditor

Multilingual Code Co-Evolution Using Large Language Models

inlinetest

Tests that check correctness of a single statement

jog

Pattern-Based Peephole Optimizations with Java JIT Tests

python-hpc-frameworks

List of Python frameworks for developing HPC applications

yalla

exLong

exLong: Generating Exceptional Behavior Tests with Large Language Models

tempo

Programming and execution model for parallel bounded exhaustive testing

VeDebug

Regression debugging tool for Java

exli

Automatic extraction of inline tests (from unit tests)

predictiverts

ML-based regression test selection

rtscheck

RTSCheck: A framework for testing regression test selection tools

wayout

Dynamically generate Python bindings for C++ libraries

lejit

Framework for testing Java JIT compilers

roosterize-vscode

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

ekstazipp

Regression Test Selection tool for C++

fine-ekstazi

gocgo

C language lexer, parser, and visitors

ogo

Object Graph Programming

finerts

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

llvm-project-yalla

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

eStore

fine-starts

fqs

fqs - Command line tool for writing file queries

rustlang-coverage-study

Compare performance of coverage tools for Rust and C++

sqllogictest

List of resources related to sqllogictest

use-arrow-adbc

Use ADBC