RUGRAT (Java program generator)
- Description: RUGRAT is a Java stochastic application benchmark generator, written in Java. We generated the 12 programs used in the paper with RUGRAT. See README.txt for details.
- Download: Zip file (90 KB)
- Contact: Ishtiaque Hussain (ishtiaque.hussain [at] mavs [dot] uta [dot] edu)
Modules For Experiments
1. CarFast (mandatory for all experiments)
- Description: CarFast contains the main algorithms of Random Testing, Adaptive Random Testing, DART, and CARFAST. CarFast has the scripts that connects other modules and enables to conduct experiments. See README.txt for installation/experiment instructions.
- Download: Zip file (xx MB)
- Contact: Sangmin Park (sangminp [at] cc [dot] gatech [dot] edu)
2. Query Evaluator (mandatory for CarFast experiment)
- Description: Query Evaluator is our constraint-based test input selector. We built our custom input selector, because current constraint solvers were not scalable to 1MLOC programs. Query Evaluator is used only to CarFast experiment. Read README.txt for installation/experiment instructions.
- Download: Zip file (xx MB)
- Contact: B.M. Mainul Hossain (bhossa2 [at] uic [dot] edu)
3. Dsc/Dumper mode (binary included in CarFast)
4. Static Coverage Estimator (the result files are already included)
- Description: This module computes the potential coverage estimate for Java programs. This module inputs Java source codes, and outputs the coverage estimate in a text file. The result file per each benchmark (search static-coverage.txt file) is included in the CarFast.zip.
- Contact: Kunal Taneja (ktaneja [at] ncsu [dot] edu)
The following libraries must be installed before conducting experiments.