Automated Test Case Generation Based on Path Structure Matrix and Mainfold-Inspired Search | IEEE Conference Publication | IEEE Xplore