Play to Test
- 1 January 2006
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Online testing with model programsPublished by Association for Computing Machinery (ACM) ,2005
- Runtime Refinement Checking of Concurrent Data StructuresElectronic Notes in Theoretical Computer Science, 2005
- Testing Concurrent Object-Oriented Systems with Spec ExplorerPublished by Springer Nature ,2005
- The Spec# Programming System: An OverviewPublished by Springer Nature ,2005
- Towards a Tool Environment for Model-Based Testing with AsmLPublished by Springer Nature ,2004
- Experiments with Test Case Generation and Runtime AnalysisPublished by Springer Nature ,2003
- Game Models for Open SystemsPublished by Springer Nature ,2003
- Simple Stochastic Parity GamesPublished by Springer Nature ,2003
- Computing Minimum and Maximum Reachability Times in Probabilistic SystemsPublished by Springer Nature ,1999
- Testing deterministic implementations from nondeterministic FSM specificationsPublished by Springer Nature ,1996