Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution.

Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang

Browse the full APSEC paper archive.