Report copyright - Symbolic execution and program testing - … Execution and Program Testing James C. King IBM Thomas J. Watson Research Center This paper describes the symbolic execution of pro- grams
Please pass captcha verification before submit form