| 
|
Quote: 450 lines of test driver code caught 25 timing-dependent errors; difficult to detect with conventional testing
topics >
all references >
references g-h >
Topic:
model checker
Topic:
deadlocks
Topic:
device driver
Quotation Skeleton
We defined a total of six test driver … [a new Lucent network server product] … accessed by the software, and of internal watchdog … format supported by SPIN. The size of the … [p. 605] At the time of writing, roughly 25 … Most of the errors found were deemed important, … conventional testing techniques, dues to the often subtle … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: model checker (49 items)
Topic: deadlocks (21 items)
Topic: device driver (15 items)