| 
|
Quote: TOPD's checkout feature 'symbolically' executes a procedure by using mutually exclusive test states
topics >
all references >
references g-h >
Topic:
symbolic execution
Quotation Skeleton
The checkout feature is based on the idea … manipulate. In fact, the symbolic values which are … against. For this purpose those states are considered … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: symbolic execution (8 items)