@inproceedings{campbell2005testing,
author = {Campbell, Colin and Grieskamp, Wolfgang and Nachmanson, Lev and Schulte, Wolfram and Tillmann, Nikolai and Veanes, Margus},
title = {Testing Concurrent Object-Oriented Systems with Spec Explorer},
series = {Lecture Notes in Computer Science},
year = {2005},
month = {January},
abstract = {We describe a practical model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer enables modeling and automatic testing of concurrent object-oriented systems. These systems take inputs as well as provide outputs in form of spontaneous reactions, where inputs and outputs can be arbitrary data types, including objects. Spec Explorer is being used daily by several Microsoft product groups. The here presented techniques are used to test operating system components and Web service infrastructure.},
publisher = {Springer},
url = {http://approjects.co.za/?big=en-us/research/publication/testing-concurrent-object-oriented-systems-with-spec-explorer/},
pages = {542-547},
volume = {3582},
isbn = {3-540-27882-6},
}