CMU Program Analysis, Software Testing, and Applications (PASTA) Lab
12 packages
-
org.pastalab.fray.corePublished
Dec 22, 2024 by CMU Program Analysis, Software Testing, and Applications (PASTA) Lab in org.pastalab.fray.core3 -
org.pastalab.fray.junitPublished
Dec 22, 2024 by CMU Program Analysis, Software Testing, and Applications (PASTA) Lab in org.pastalab.fray.junit3 -
org.pastalab.fray.runtimePublished
Dec 22, 2024 by CMU Program Analysis, Software Testing, and Applications (PASTA) Lab in org.pastalab.fray.runtime3 -
org.pastalab.fray.instrumentation.agent
Fray testing framework for concurrency programs.
PublishedDec 22, 2024 by CMU Program Analysis, Software Testing, and Applications (PASTA) Lab in org.pastalab.fray.instrumentation.agent3 -
org.pastalab.fray.gradle.org.pastalab.fray.gradle.gradle.plugin
Fray gradle plugin to test concurrency programs.
1