| 
|
Quote: test software by symbolically executing its algebraic sepecification
Topic:
symbolic execution
Topic:
abstract data type
Quotation Skeleton
In the absence of an implementation, the operations … of an implementation can be made completely transparent … for testing of software. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: symbolic execution (9 items)
Topic: abstract data type (64 items)