Lazy Symbolic Evaluation and Its Path Constraints Solution. - Mengxiang Lin; Yin-li Chen; Kai Yu 013; Guo-shi Wu (AST, 2009)

Lazy symbolic execution for test data generation. - Mengxiang Lin; Yin-li Chen; Kai Yu 013; Guo-shi Wu (IET Softw., 2011)