Lazy Symbolic Evaluation and Its Path Constraints Solution.

Mengxiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu

Browse the full ICSE paper archive.