Semantic-Based Test Case Generation | IEEE Conference Publication | IEEE Xplore