CMU Program Analysis, Software Testing, and Applications (PASTA) Lab
11 packages
-
org.pastalab.fray.instrumentation.agent
Fray testing framework for concurrency programs.
PublishedAug 15, 2024 by CMU Program Analysis, Software Testing, and Applications (PASTA) Lab in org.pastalab.fray.instrumentation.agent2 -
org.pastalab.fray.junitPublished
Aug 15, 2024 by CMU Program Analysis, Software Testing, and Applications (PASTA) Lab in org.pastalab.fray.junit2 -
org.pastalab.fray.corePublished
Aug 15, 2024 by CMU Program Analysis, Software Testing, and Applications (PASTA) Lab in org.pastalab.fray.core2 -
org.pastalab.fray.runtimePublished
Aug 15, 2024 by CMU Program Analysis, Software Testing, and Applications (PASTA) Lab in org.pastalab.fray.runtime2 -
org.pastalab.fray.gradle.org.pastalab.fray.gradle.gradle.plugin
Fray gradle plugin to test concurrency programs.
1