Scaling Model Checking for Test Generation Using Dynamic Inference | IEEE Conference Publication | IEEE Xplore