Sciweavers

Share
2 search results - page 1 / 1
» Model-Based Testing of Object-Oriented Reactive Systems with...
Sort
View
FORTEST
2008
12 years 3 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 testin...
Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...
FM
2005
Springer
156views Formal Methods» more  FM 2005»
12 years 7 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
books