| 
|
Quote: for deterministic bugs, discard irrelevant predicates by universal falsehood, lack of failing coverage, lack of failing example, successful counterexample
topics >
all references >
references i-l >
Topic:
test data selection
Quotation Skeleton
Given a set of runs, we can discard … is zero on all runs. … (Elimination by lack of failing coverage): Disregard any … in each triple must always be true for … [of a deterministic error], … (Elimination by lack of failing example): Disregard any … (Elimination by successful counterexample): Disregard any counter that … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: test data selection (39 items)