Regular Property Guided Dynamic Symbolic Execution.

Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu

Browse the full ICSE paper archive.