Play to Test
From MaRDI portal
Publication:3434603
DOI10.1007/11759744_3zbMATH Open1183.68176OpenAlexW2145226117MaRDI QIDQ3434603FDOQ3434603
Yuri Gurevich, Margus Veanes, Lev Nachmanson, Andreas Blass
Publication date: 2 May 2007
Published in: Formal Approaches to Software Testing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11759744_3
Applications of game theory (91A80) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Semantic essence of AsmL
- FM 2005: Formal Methods
- Evolving Algebras 1993: Lipari Guide
- Play to Test
- Computer Science Logic
- Verification: Theory and Practice
Cited In (9)
- A survey of stochastic \(\omega \)-regular games
- Play to Test
- Complete open-state testing of limitedly nondeterministic systems
- Graph Games and Reactive Synthesis
- Strategy logic
- Formalization of test experiments
- Testing probabilistic equivalence through reinforcement learning
- P(l)aying for Synchronization
- Synthesizing adaptive test strategies from temporal logic specifications
Uses Software
This page was built for publication: Play to Test
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3434603)
