Skip to content
@cmu-pasta

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

README.md

CMU PASTA Lab

This organization hosts repositories for the Carnegie Mellon University (CMU) Program Analysis, Software Testing, and Applications (PASTA) research lab.

See https://cmu-pasta.github.io for the PASTA lab homepage.

Popular repositories Loading

  1. linux-kernel-enriched-corpus linux-kernel-enriched-corpus Public

    Linux Kernel Fuzzer Corpus

    Python 136 17

  2. fray fray Public

    A controlled concurrency testing framework for the JVM

    Kotlin 89 2

  3. mu2 mu2 Public

    Mutation-guided mutation-based fuzz testing

    Java 45 7

  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 5

  6. fray-gradle-plugin fray-gradle-plugin Public

    Kotlin 2

Repositories

Showing 10 of 13 repositories
  • havoc-mutation-eval Public
    Jupyter Notebook 0 MIT 0 0 0 Updated Apr 23, 2025
  • fray Public

    A controlled concurrency testing framework for the JVM

    Kotlin 89 Apache-2.0 2 16 (3 issues need help) 2 Updated Apr 23, 2025
  • linux-kernel-enriched-corpus Public

    Linux Kernel Fuzzer Corpus

    Python 136 MIT 17 1 0 Updated Apr 23, 2025
  • date-time Public

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

    Jupyter Notebook 5 MIT 0 0 0 Updated Mar 10, 2025
  • fray-examples Public
    Java 1 GPL-3.0 0 0 0 Updated Feb 26, 2025
  • fray-gradle-plugin Public
    Kotlin 2 GPL-3.0 0 0 0 Updated Dec 5, 2024
  • proptest.ai Public

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

    HTML 8 0 0 0 Updated Oct 31, 2024
  • sort-benchmarks Public

    Simple programs for running mutation analysis experiments

    Java 0 1 0 1 Updated Oct 16, 2024
  • fray-maven-plugin Public
    Kotlin 0 0 0 0 Updated Aug 30, 2024
  • mu2 Public

    Mutation-guided mutation-based fuzz testing

    Java 45 MIT 7 1 0 Updated Jul 13, 2024
View all repositories