engineeringsoftware Goto Github PK

codeditor

Multilingual Code Co-Evolution Using Large Language Models

codeowners

Creates CODEOWNERS file for a give repo

coditt5

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

ekstazipp

Regression Test Selection tool for C++

exli

Automatic extraction of inline tests (from unit tests)

fine-ekstazi

fine-starts

finerts

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

gobash

Bash function library

gocgo

C language lexer, parser, and visitors

hdlp

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

inlinetest

Tests that check correctness of a single statement

jattack

Compiler Testing using Template Java Programs

jog

Pattern-Based Peephole Optimizations with Java JIT Tests

llvm-project-yalla

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

math-comp-corpus

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

mcoq

Mutation analysis tool for Coq verification projects

ogo

Object Graph Programming

predictiverts

roosterize

Tool for suggesting lemma names in Coq verification projects

roosterize-vscode

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

rtscheck

RTSCheck: A framework for testing regression test selection tools

teco

TeCo: an ML+Execution model for test completion

tempo

Programming and execution model for parallel bounded exhaustive testing

time-segmented-evaluation

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

vedebug

Regression debugging tool for Java

wayout

Dynamically generate Python bindings for C++ libraries