Integrating Model-Based and Constraint-Based Testing Using SpecExplorer | IEEE Conference Publication | IEEE Xplore