| 
|
Quote: TOPD's checker generates test cases from the model and determines if the procedure's result matches the model's result
topics >
all references >
references g-h >
Topic:
automated testing
Topic:
test data selection
Topic:
model checker
Quotation Skeleton
The checker uses this [initial state value] facility, drawing initial … of such tests, each time drawing upon a … or not a body implementing a procedure matches … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: automated testing (24 items)
Topic: test data selection (39 items)
Topic: model checker (49 items)