EngineeringSoftware/finerts

Stars
1
Language
License
MIT License
Created over 1 year ago
Updated 3 months ago

EngineeringSoftware/finerts

EngineeringSoftware

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

CoditT5

CoditT5: Pretraining for Source Code and Natural Language Editing

mcoq

Mutation analysis tool for Coq verification projects

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

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

tempo

Programming and execution model for parallel bounded exhaustive testing

rtscheck

RTSCheck: A framework for testing regression test selection tools

predictiverts

ML-based regression test selection

wayout

Dynamically generate Python bindings for C++ libraries

roosterize-vscode

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

exli

Automatic extraction of inline tests (from unit tests)

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

gocgo

C language lexer, parser, and visitors