Concrete Constraint Guided Symbolic Execution.

Yue Sun, Guowei Yang, Shichao Lv, Zhi Li, Limin Sun

Browse the full ICSE paper archive.