Tester versus bug: a generic framework for model-based testing via games
From MaRDI portal
Publication:3384883
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
Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
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)