Skip to content


An SE group at UT Austin

Popular repositories

  1. mcoq Public

    Mutation analysis tool for Coq verification projects

    Java 25 1

  2. CoditT5 Public

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

    Python 23 3

  3. jattack Public

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

    Java 19 3

  4. teco Public

    Code for TeCo: an ML+Execution model for test completion

    Python 18 3

  5. Tool for suggesting lemma names in Coq verification projects

    Python 15 5

  6. Tests that check correctness of a single statement

    Python 11 3


Showing 10 of 20 repositories

Top languages


Most used topics