Play to Test

DOI10.1007/11759744_3MaRDI QIDQ3434603zbMATH OpenOpenAlexFDO

Authors Andreas Blass, Lev Nachmanson, Margus Veanes, Yuri Gurevich

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Applications of game theory (91A80)

Recommendations

• Automata, Languages and Programming
• The complexity of coverage
• Reachability games on automatic graphs
• Information reuse for multi-goal reachability analyses
• A game-theoretic approach for the accuracy of testing

Cites work

• Computer Science Logic
• Evolving Algebras 1993: Lipari Guide
• FM 2005: Formal Methods
• Game models for open systems
• scientific article; zbMATH DE number 1263212 (Why is no real title available?)
• scientific article; zbMATH DE number 1361118 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 1134975 (Why is no real title available?)
• scientific article; zbMATH DE number 1951185 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• scientific article; zbMATH DE number 3106184 (Why is no real title available?)
• Play to Test
• Semantic essence of AsmL

Cited in

(13)

• Synthesizing adaptive test strategies from temporal logic specifications
• Complexity of node coverage games
• Complete open-state testing of limitedly nondeterministic systems
• Graph Games and Reactive Synthesis
• Tester versus bug: a generic framework for model-based testing via games
• Play to Test
• A game-theoretic approach for the accuracy of testing
• Testing probabilistic equivalence through reinforcement learning
• A survey of stochastic -regular games
• Computer Aided Verification
• Information reuse for multi-goal reachability analyses
• Formalization of test experiments
• Strategy logic

Describes a project that uses

Uses Software

• Spec#
• UniTESK
• TorX
• AsmL
• SpecExplorer
• AGEDIS

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)