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 124 15

  2. mu2 mu2 Public

    Mutation-guided mutation-based fuzz testing

    Java 41 6

  3. proptest.ai proptest.ai Public

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

    HTML 8

  4. fray fray Public

    A general-purpose concurrency testing framework

    Kotlin 4

  5. fray-gradle-plugin fray-gradle-plugin Public

    Kotlin 2

  6. fray-examples fray-examples Public

    Java 1

Repositories

Showing 10 of 10 repositories
  • linux-kernel-enriched-corpus Public

    Linux Kernel Fuzzer Corpus

    cmu-pasta/linux-kernel-enriched-corpus’s past year of commit activity
    Python 124 MIT 15 0 0 Updated Aug 10, 2024
  • fray-examples Public
    cmu-pasta/fray-examples’s past year of commit activity
    Java 1 GPL-3.0 0 0 0 Updated Aug 9, 2024
  • fray-gradle-plugin Public
    cmu-pasta/fray-gradle-plugin’s past year of commit activity
    Kotlin 2 GPL-3.0 0 0 0 Updated Aug 9, 2024
  • fray Public

    A general-purpose concurrency testing framework

    cmu-pasta/fray’s past year of commit activity
    Kotlin 4 GPL-3.0 0 3 0 Updated Aug 9, 2024
  • fray-maven-plugin Public
    cmu-pasta/fray-maven-plugin’s past year of commit activity
    Kotlin 0 0 0 0 Updated Aug 9, 2024
  • mu2 Public

    Mutation-guided mutation-based fuzz testing

    cmu-pasta/mu2’s past year of commit activity
    Java 41 MIT 6 1 0 Updated Jul 13, 2024
  • dacapobench Public Forked from dacapobench/dacapobench

    The DaCapo benchmark suite

    cmu-pasta/dacapobench’s past year of commit activity
    Java 0 Apache-2.0 61 0 0 Updated Mar 3, 2024
  • proptest.ai Public

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

    cmu-pasta/proptest.ai’s past year of commit activity
    HTML 8 0 0 0 Updated Jan 31, 2024
  • sort-benchmarks Public

    Simple programs for running mutation analysis experiments

    cmu-pasta/sort-benchmarks’s past year of commit activity
    Java 0 1 0 1 Updated Jun 21, 2023
  • .github Public
    cmu-pasta/.github’s past year of commit activity
    0 0 0 0 Updated May 26, 2023

Top languages

Loading…

Most used topics

Loading…