Ballista Design and Methodology

October 1997

Philip Koopman
Institute for Complex Engineered Systems & ECE Department
Carnegie Mellon University
Hamershlag Hall D-202
Pittsburgh, PA 15213


This report serves as initial documentation of the design and methodology to be employed by Ballista, an automatic robustness testing and hardening tool for Commercial Off-The-Shelf software components. The Ballista architecture includes the following major components:

Full report 137806 bytes: pdf file

BALLIST HOME PAGE Ballista Home Page