Model-based Testing with SpecExplorer. Spec Explorer is a software development tool for advanced model-based specification and conformance testing.
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Pakulin, N.V.; Tugaenko, A.N.; Shnitman, V.Z.: Model-based testing of Internet e-mail protocols (2012)
- Veanes, Margus; Campbell, Colin; Schulte, Wolfram: Composition of model programs (2007)
- Rosenzweig, Dean; Runje, Davor; Schulte, Wolfram: Model-based testing of cryptographic protocols (2005)