Ballista is a project to automatically test commercial off-the-shelf (COTS) software for and harden against robustness "bugs" (e.g., "hangs" and "crashes"). In particular, the emphasis is on proper detection and handling of exceptional conditions so that their occurrence does not compromise the integrity of system operation.
preview:
http://www.cs.cmu.edu/afs/cs/project/edrc-ballista/www/
1/2/1998
