Postconditioned Symbolic Execution.

Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao

Browse the full ICST paper archive.