FAJITA @ ISSTA 2011
Latest news:
- Feb. 9: FAJITA and Kiasan experiments are published.
Experiments
In this page you will find a distribution of FAJITA, all the inputs for FAJITA, Kiasan and PEX, and logs from each single experiment.
FAJITA:
- FAJITA 0.1.0 distribution (download fajita-0.1.0.zip)
- FAJITA platform dependent libraries
- Linux 32 bits (download fajita-lib-linux32.zip)
- Linux 64 bits (download fajita-lib-linux64.zip)
- Shell script for running FAJITA (download fajita). Please remember to update variables RFM_OPT and RFM_LIB.
FAJITA experiments:
- Configuration files (download fajita-config.zip)
- Goal coverage (download fajita-roops-goal.jar) / Results (download fajita-goal-coverage.zip)
- Branch coverage (download fajita-roops-branch.jar) / Results (download fajita-branch-coverage.zip)
PEX experiments:
- Goal coverage (Coming soon)
- Branch coverage (download pex-branch-coverage.zip)
KIASAN experiments:
- Kiasan download at http://code.google.com/p/sireum/downloads/list
- Goal / Branch coverage (download kiasan-roops.zip)
