Traceability-driven model refinement for test case generation | IEEE Conference Publication | IEEE Xplore