EngineeringSoftware

An SE group at UT Austin

Austin

Pinned Repositories

codeditor
Multilingual Code Co-Evolution Using Large Language Models
Language:Python13 1 23
CoditT5
CoditT5: Pretraining for Source Code and Natural Language Editing
Language:Python28 3 03
gobash
Bash function library
Language:Shell23 0 15
inlinetest
Tests that check correctness of a single statement
Language:Python13 4 14
jattack
Compiler Testing using Template Java Programs
Language:Java27 2 16
jog
Pattern-Based Peephole Optimizations with Java JIT Tests
Language:Java10 1 00
mcoq
Mutation analysis tool for Coq verification projects
Language:Java29 8 41
roosterize
Tool for suggesting lemma names in Coq verification projects
Language:Python22 6 35
teco
TeCo: an ML+Execution model for test completion
Language:Python31 1 25
time-segmented-evaluation
Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.
Language:Python10 3 01

EngineeringSoftware/mcoq
Mutation analysis tool for Coq verification projects
Language:Java29 8 41