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

  2. mu2 mu2 Public

    Mutation-guided mutation-based fuzz testing

    Java 41 7

  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 5

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

    Kotlin 2

  6. fray-examples fray-examples Public

    Java 1

Repositories

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

    Linux Kernel Fuzzer Corpus

    cmu-pasta/linux-kernel-enriched-corpus’s past year of commit activity
    Python 133 MIT 15 0 0 Updated Dec 4, 2024
  • fray Public

    A general-purpose concurrency testing framework

    cmu-pasta/fray’s past year of commit activity
    Kotlin 5 GPL-3.0 0 7 0 Updated Dec 2, 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 Oct 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 Oct 16, 2024
  • fray-maven-plugin Public
    cmu-pasta/fray-maven-plugin’s past year of commit activity
    Kotlin 0 0 0 0 Updated Aug 30, 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 29, 2024
  • fray-examples Public
    cmu-pasta/fray-examples’s past year of commit activity
    Java 1 GPL-3.0 0 0 0 Updated Aug 15, 2024
  • mu2 Public

    Mutation-guided mutation-based fuzz testing

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

    Artifacts associated with the Onward! 24 paper "Software Engineering Methods For AI-Driven Deductive Legal Reasoning"

    cmu-pasta/onward24’s past year of commit activity
    Python 0 0 0 0 Updated Jun 27, 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 60 0 0 Updated Mar 3, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…