ACM references f-l
"Symbolic execution and program testing",
Communications of the ACM, 19, 7, pp. 385-394, July 1976.
|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)