Integrating model-based and constraint-based testing using SpecExplorer (2012)

by V Vishal, M Kovacioglu, R Kherazi, M R Mousavi
Venue:In Proc. MoTiP’12