Formally transforming user-model testing problems into implementer-model testing problems and viceversa
From MaRDI portal
Publication:2270684
DOI10.1016/j.jlap.2009.01.003zbMath1175.68073MaRDI QIDQ2270684
César Andrés, Luis Llana, Ismael Rodríguez
Publication date: 29 July 2009
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2009.01.003
68M15: Reliability, testing and fault tolerance of networks and computer systems
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic
- A passive testing approach based on invariants: application to the WAP
- Customized Testing for Probabilistic Systems
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
- Testing Programs with the Aid of a Compiler
- Testing Software Design Modeled by Finite-State Machines
- Conformance tests for real-time systems with timed automata specifications