| 
|
Quote: EFFIGY is an interactive, symbolic execution system; asks user for information, backtracks if choices
topics >
all references >
references i-l >
Topic:
symbolic execution
Quotation Skeleton
EFFIGY is an interactive symbolic execution system on … decide, ask user about it -- with backtrack … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: symbolic execution (8 items)