Path constraint solving based test generation for observability-enhanced branch coverage | IEEE Conference Publication | IEEE Xplore