Integrating Model-Based and Constraint-Based Testing Using SpecExplorer. - Vivek Vishal; Mehmet Kovacioglu; Rachid Kherazi; Mohammad Reza Mousavi 001 (ISSRE Workshops, 2012)