Integrating Model-Based and Constraint-Based Testing Using SpecExplorer.

Vivek Vishal, Mehmet Kovacioglu, Rachid Kherazi, Mohammad Reza Mousavi

Browse the full ISSRE paper archive.