Tester versus bug: a generic framework for model-based testing via games

MaRDI QIDQ3384883FDOQ3384883

Authors: Petra van Den Bos, Mariëlle I. A. Stoelinga 

Publication date: 17 December 2021

Full work available at URL: https://arxiv.org/abs/1809.03098

Recommendations

• Play to Test
• Automata, Languages and Programming
• Model-Based Mutation Testing of Reactive Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Model-based testing of probabilistic systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Algorithms, games, and the internet
• Title not available (Why is that?)
• Learning I/O automata
• Complexity of node coverage games
• The complexity of coverage

Cited In (5)

• Formally transforming user-model testing problems into implementer-model testing problems and viceversa
• Automata, Languages and Programming
• With a little help from your friends: semi-cooperative games via joker moves
• Coverage-based testing with symbolic transition systems
• Relating alternating relations for conformance and refinement

This page was built for publication: Tester versus bug: a generic framework for model-based testing via games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384883)