https://github.com/engineeringsoftware/teco

TeCo: an ML+Execution model for test completion

machine-learning ml4se test-completion testing

Last synced: 20 Jul 2025

https://github.com/engineeringsoftware/mcoq

Mutation analysis tool for Coq verification projects

coq mutation-analysis serapi

Last synced: 12 May 2025

https://github.com/engineeringsoftware/coditt5

CoditT5: Pretraining for Source Code and Natural Language Editing

machine-learning pretrained-language-model software-engineering

Last synced: 12 May 2025

https://github.com/engineeringsoftware/gobash

Bash function library

bash functions gobash libraries library methods structs

Last synced: 31 Jul 2025

https://github.com/engineeringsoftware/jattack

Compiler Testing using Template Java Programs (ASE'22 Distinguished Paper Award)

compiler java jit-compiler jvm template testing

Last synced: 12 May 2025

https://github.com/engineeringsoftware/roosterize

Tool for suggesting lemma names in Coq verification projects

coq deep-learning machine-learning mathcomp name-generation neural-networks pytorch serapi

Last synced: 13 Sep 2025

https://github.com/EngineeringSoftware/roosterize

Tool for suggesting lemma names in Coq verification projects

coq deep-learning machine-learning mathcomp name-generation neural-networks pytorch serapi

Last synced: 22 Jul 2025

https://github.com/engineeringsoftware/inlinetest

Tests that check correctness of a single statement

inline methodology single statement testing tests

Last synced: 19 Jul 2025

https://github.com/engineeringsoftware/codeditor

Multilingual Code Co-Evolution Using Large Language Models

co-evolution code evolution large-language-models llm

Last synced: 12 May 2025

https://github.com/engineeringsoftware/python-hpc-frameworks

List of Python frameworks for developing HPC applications

hpc python

Last synced: 20 Mar 2025

https://github.com/engineeringsoftware/time-segmented-evaluation

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

code-summarization comment-generation dataset deep-learning evaluation machine-learning method-naming ml4code time-segmented-evaluation

Last synced: 12 May 2025

https://github.com/engineeringsoftware/jog

Pattern-Based Peephole Optimizations with Java JIT Tests

compiler java jit jit-compiler openjdk optimization pattern peephole shadow test

Last synced: 03 Sep 2025

https://github.com/engineeringsoftware/math-comp-corpus

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

coq machine-learning-dataset mathcomp serapi

Last synced: 12 May 2025

https://github.com/engineeringsoftware/exlong

exLong: Generating Exceptional Behavior Tests with Large Language Models

exceptions exlong generation ml nlp testing

Last synced: 09 Apr 2025

https://github.com/engineeringsoftware/yalla

Last synced: 12 May 2025

https://github.com/engineeringsoftware/tempo

Programming and execution model for parallel bounded exhaustive testing

bounded-exhaustive-testing execution model programming

Last synced: 12 May 2025

https://github.com/engineeringsoftware/rtscheck

RTSCheck: A framework for testing regression test selection tools

regression selection testing

Last synced: 22 Aug 2025

https://github.com/engineeringsoftware/predictiverts

ML-based regression test selection

machine-learning ml regression-test-selection rts testing

Last synced: 12 May 2025

https://github.com/engineeringsoftware/roosterize-vscode

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

code-summarization coq deep-learning machine-learning vscode vscode-extension

Last synced: 12 Mar 2025

https://github.com/engineeringsoftware/exli

Automatic extraction of inline tests (from unit tests)

inline-tests test-automation test-generation testing

Last synced: 12 May 2025

https://github.com/engineeringsoftware/wayout

Dynamically generate Python bindings for C++ libraries

Last synced: 12 May 2025

https://github.com/engineeringsoftware/hdlp

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

deep-learning hardware-description-language machine-learning naturalness pytorch systemverilog verilog vhdl

Last synced: 12 May 2025

https://github.com/engineeringsoftware/ekstazipp

Regression Test Selection tool for C++

cpp ekstazi rts

Last synced: 14 Aug 2025

https://github.com/engineeringsoftware/ogo

Object Graph Programming

cypher declarative heap imperative paradigm programming

Last synced: 24 Dec 2025

https://github.com/engineeringsoftware/gocgo

C language lexer, parser, and visitors

c go lexer parser visitors

Last synced: 16 Jul 2025

https://github.com/engineeringsoftware/fine-ekstazi

Last synced: 06 Jul 2025

https://github.com/engineeringsoftware/finerts

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

regression-testing semantic test-selection testing

Last synced: 11 Dec 2025

https://github.com/engineeringsoftware/fqs

fqs - Command line tool for writing file queries

cli file fqs queries sql

Last synced: 09 Oct 2025

https://github.com/engineeringsoftware/plsemanticsbench

The first benchmark designed to evaluate the usability of LLMs as programming language interpreters

Last synced: 25 Aug 2025

https://github.com/engineeringsoftware/sqllogictest

List of resources related to sqllogictest

database db slt sql sqllogictest testing

Last synced: 02 Apr 2025

https://github.com/engineeringsoftware/fine-starts

Last synced: 25 Dec 2025

https://github.com/engineeringsoftware/use-arrow-adbc

Use ADBC

adbc examples explore

Last synced: 11 Apr 2025

https://github.com/engineeringsoftware/rustlang-coverage-study

Compare performance of coverage tools for Rust and C++

coverage cpp rust

Last synced: 25 Dec 2025

https://github.com/engineeringsoftware/codeowners

Creates CODEOWNERS file for a give repo

Last synced: 12 May 2025