| 
|
QuoteRef: kingJC7_1976
topics >
all references >
ThesaHelp:
references i-l
ThesaHelp:
ACM references f-l
Topic:
symbolic execution
Reference
King, J.C., "Symbolic execution and program testing", Communications of the ACM, 19, 7, pp. 385-394, July 1976. Google
385 ;;Quote: test a program by symbolically executing it with a set of classes of inputs
388 ;;Quote: EFFIGY is an interactive, symbolic execution system; asks user for information, backtracks if choices
ThesaHelp: references i-l (342 items)
ThesaHelp: ACM references f-l (241 items)
Topic: symbolic execution (8 items)