Model-Based Testing with Spec#

This half-day tutorial introduces model-based testing, using the Spec# modeling language and the Spec Explorer test tool.