Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
- 12 April 2008
- book chapter
- other
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Play to TestLecture Notes in Computer Science, 2006
- Multiplexing of Partially Ordered EventsLecture Notes in Computer Science, 2005
- The Spec# Programming System: An OverviewLecture Notes in Computer Science, 2005
- Experiments with Test Case Generation and Runtime AnalysisLecture Notes in Computer Science, 2003
- Abstract State MachinesPublished by Springer Science and Business Media LLC ,2003
- Testing Transition Systems: An Annotated BibliographyLecture Notes in Computer Science, 2001
- Background, Reserve, and Gandy MachinesLecture Notes in Computer Science, 2000
- Computing Minimum and Maximum Reachability Times in Probabilistic SystemsLecture Notes in Computer Science, 1999
- Alternating refinement relationsLecture Notes in Computer Science, 1998
- Distinguishing tests for nondeterministic and probabilistic machinesPublished by Association for Computing Machinery (ACM) ,1995