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
koopman@cmu.edu


Abstract:

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

koopman@cmu.edu