Learn More
  • Brian Marick
  • Symposium on Testing, Analysis, and Verification
  • 1991
In fault-adequate testing, a fault is detected if a test case satisfies three conditions. If the reachability condition is satisfied, the fault is executed. If the necessity condition is satisfied,(More)
VERUS is a design specification and verification system developed by Compion Corporation. Design verification is the analysis of the interaction of a computer system's primitives to show that the(More)
I argue that a successful switch from one methodology to another requires a switch from one <i>ontology</i> to another. Large-scale adoption of a new methodology means "infecting" people with new(More)