EngineeringSoftware/tempo EngineeringSoftware/tempo

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language Cuda
  • License
    BSD 3-Clause "New...
  • Created over 3 years ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
EngineeringSoftware/tempo
github

EngineeringSoftware

Reviews

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

Repository Details

Programming and execution model for parallel bounded exhaustive testing

More Repositories

1

CoditT5

CoditT5: Pretraining for Source Code and Natural Language Editing
Python
29
star
2

mcoq

Mutation analysis tool for Coq verification projects
Java
28
star
3

teco

TeCo: an ML+Execution model for test completion
Python
26
star
4

jattack

Compiler Testing using Template Java Programs
Java
26
star
5

gobash

Bash function library
Shell
22
star
6

roosterize

Tool for suggesting lemma names in Coq verification projects
Python
18
star
7

inlinetest

Tests that check correctness of a single statement
Python
12
star
8

codeditor

Multilingual Code Co-Evolution Using Large Language Models
Python
12
star
9

math-comp-corpus

Corpus of Coq code related to MathComp including several machine-readable representations
Common Lisp
10
star
10

time-segmented-evaluation

Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.
Python
10
star
11

jog

Pattern-Based Peephole Optimizations with Java JIT Tests
Java
7
star
12

VeDebug

Regression debugging tool for Java
Java
6
star
13

rtscheck

RTSCheck: A framework for testing regression test selection tools
Java
4
star
14

predictiverts

ML-based regression test selection
Python
4
star
15

wayout

Dynamically generate Python bindings for C++ libraries
Python
4
star
16

roosterize-vscode

VSCode extension for Roosterize, a tool for suggesting lemma names in Coq
TypeScript
3
star
17

exli

Automatic extraction of inline tests (from unit tests)
Python
3
star
18

ekstazipp

Regression Test Selection tool for C++
C++
2
star
19

hdlp

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

ogo

Object Graph Programming
2
star
21

finerts

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

fine-ekstazi

Java
1
star
23

gocgo

C language lexer, parser, and visitors
Go
1
star