Sciweavers

Share
FORTEST
2008

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer

12 years 1 months ago
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testing technology developed by the Foundations of Software Engineering group in Microsoft Research has been used since 2003. The second generation of this tool set, Spec Explorer, deployed in 2004, is now used on a daily basis by Microsoft product groups for testing operating system components, .NET framework components and other areas. This chapter provides a comprehensive survey of the concepts of the tool and their foundations.
Margus Veanes, Colin Campbell, Wolfgang Grieskamp,
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FORTEST
Authors Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Comments (0)
books