Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution

by Yang Song, Xuzhou Zhang, Yun-Zhan Gong
Published 2020-01-01

Path-Wise Test Data Generation Based on Heuristic Look-Ahead Methods

by Ying Xing, Yun-Zhan Gong, Ya-Wen Wang, Xu-Zhou Zhang
Published 2014-01-01

A Hybrid Intelligent Search Algorithm for Automatic Test Data Generation

by Ying Xing, Yun-Zhan Gong, Ya-Wen Wang, Xu-Zhou Zhang
Published 2015-01-01