Path constraint solving based test generation for observability-enhanced branch coverage.

Yanhong Zhou, Huawei Li, Tiancheng Wang, Bo Liu, Yingke Gao, Xiaowei Li

Browse the full VTS paper archive.