| 
|
Quote: the TOPD tester exhaustively executes the model of a procedure; result is state vectors for each valid execution path
topics >
all references >
references g-h >
Topic:
test data selection
Topic:
model checker
Quotation Skeleton
The tester is a tool which exhaustively "executes" … appearing in the body. The execution is carried … describing the effect of other procedures called from … is a set of state vectors … with each such combination having been generated by … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: test data selection (39 items)
Topic: model checker (49 items)