Report copyright - Symbolic Execution...Symbolic execution •King, CACM 1976. •Key idea: generalize testing by using unknown symbolic variables in evaluation •Symbolic executor executes program,
Please pass captcha verification before submit form
Please pass captcha verification before submit form