Report - Symbolic Execution and Program Testingpeople.cs.vt.edu/~ryder/6304/lectures/12-King... · James C. King. Symbolic execution and program testing. CACM, 19(7):385–394, 1976. (most

Please pass captcha verification before submit form