| 
|
Quote: testing remains important with formal methods; bugs will be found in the requirements and their refinement
topics >
all references >
references a-b >
Topic:
limitations of formalism
Group:
testing
Quotation Skeleton
IX Thou shalt test, test, and test again. … Formal methods can increase confidence in both a … [p. 61] Testing is necessary, even when formal methods … during refinement. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: limitations of formalism (92 items)
Group: testing (18 topics, 551 quotes)