The following publications are possibly variants of this publication:
- Functional Test Generation for Hard-to-Reach States Using Path Constraint SolvingYanhong Zhou, Tiancheng Wang, Huawei Li, Tao Lv, Xiaowei Li 0001. tcad, 35(6):999-1011, 2016. [doi]
- A Constraint Solver for Code-based Test Data GenerationJ. Jenny Li, W. Eric Wong, Xiao Ma, David M. Weiss. seke 2005: 300-305
- Path constraint solving based test generation for observability-enhanced branch coverageYanhong Zhou, Huawei Li, Tiancheng Wang, Bo Liu, Yingke Gao, Xiaowei Li. vts 2016: 1-6 [doi]