Tester versus bug: a generic framework for model-based testing via games
From MaRDI portal
Publication:3384883
Recommendations
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)