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

  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 5

  3. proptest.ai proptest.ai Public

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

    HTML 7

  4. sort-benchmarks sort-benchmarks Public

    Simple programs for running mutation analysis experiments

    Java 1

  5. .github .github Public

  6. dacapobench dacapobench Public

    Forked from dacapobench/dacapobench

    The DaCapo benchmark suite

    Java

Repositories

Showing 6 of 6 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 May 26, 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 59 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 7 0 0 0 Updated Jan 31, 2024
  • mu2 Public

    Mutation-guided mutation-based fuzz testing

    cmu-pasta/mu2’s past year of commit activity
    Java 41 MIT 5 1 0 Updated Jul 26, 2023
  • 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

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…