next up previous contents
Next: Executive Project Summary Up: List of Figures Previous: Abstract

Keywords

Assertions, faults, failure, testing, fault detectability, oracles, specifications.


Roger Gima
Tue Jan 20 16:43:17 EST 1998