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

MaRDI QIDQ3384883zbMATH OpenFDO

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, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF18.9

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• Algorithms, games, and the internet
• Complexity of node coverage games
• Learning I/O automata
• 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)