Combining Model Checking and Testing for Software Analysis | IEEE Conference Publication | IEEE Xplore