Skip to content
@cmu-pasta

CMU Program Analysis, Software Testing, and Applications (PASTA) Lab

README.md

Popular repositories Loading

  1. fray fray Public

    A controlled concurrency testing framework for the JVM

    Kotlin 444 14

  2. linux-kernel-enriched-corpus linux-kernel-enriched-corpus Public

    Linux Kernel Fuzzer Corpus

    Python 154 19

  3. mu2 mu2 Public

    Mutation-guided mutation-based fuzz testing

    Java 50 9

  4. proptest.ai proptest.ai Public

    Website for AI-generated Property-Based Testing (PBT)

    HTML 8

  5. date-time date-time Public

    An Empirical Study of Date and Time Bugs in Open-Source Python Software.

    Jupyter Notebook 6

  6. fray-benchmark fray-benchmark Public

    Java 3

Repositories

Showing 10 of 16 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…