Computational analysis, synthesis, and design of dynamic models series.
Part 1. Introduction --; pt. 2. Automatic test generation --; pt. 3. Integration and multilevel testing --; pt. 4. Specific approaches --; pt. 5. Testing in industry --; pt. 6. Testing at the lower levels of development.