Skip to content
@EngineeringSoftware

EngineeringSoftware

An SE group at UT Austin

Popular repositories

  1. mcoq mcoq Public

    Mutation analysis tool for Coq verification projects

    Java 27 1

  2. CoditT5 CoditT5 Public

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

    Python 26 2

  3. jattack jattack Public

    Compiler Testing using Template Java Programs

    Java 23 5

  4. teco teco Public

    TeCo: an ML+Execution model for test completion

    Python 23 3

  5. roosterize roosterize Public

    Tool for suggesting lemma names in Coq verification projects

    Python 18 5

  6. gobash gobash Public

    Bash function library

    Shell 17 4

Repositories

Showing 10 of 27 repositories
  • llvm-project-yalla Public Forked from llvm/llvm-project

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

    0 10,832 0 0 Updated May 24, 2024
  • exli Public

    Automatic generation of inline tests

    Python 3 MIT 2 0 0 Updated May 23, 2024
  • gobash Public

    Bash function library

    Shell 17 BSD-3-Clause 4 0 0 Updated May 18, 2024
  • teco Public

    TeCo: an ML+Execution model for test completion

    Python 23 MIT 3 2 0 Updated May 15, 2024
  • tempo Public

    Programming and execution model for parallel bounded exhaustive testing

    Cuda 5 BSD-3-Clause 0 0 0 Updated May 10, 2024
  • gocgo Public

    C language lexer, parser, and visitors

    Go 1 BSD-3-Clause 0 0 0 Updated May 10, 2024
  • codeditor Public

    Multilingual Code Co-Evolution Using Large Language Models

    Python 11 MIT 0 2 0 Updated May 6, 2024
  • VeDebug Public archive

    Regression debugging tool for Java

    Java 6 Apache-2.0 1 0 0 Updated May 1, 2024
  • FineRTS Public

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

    1 MIT 0 0 0 Updated Apr 29, 2024
  • jog Public

    Pattern-Based Peephole Optimizations with Java JIT Tests

    Java 6 Apache-2.0 0 0 0 Updated Apr 25, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…