Symbolic Model-based Test Selection

DOI10.1016/j.entcs.2009.05.051zbMath1347.68228OpenAlexW2060993374MaRDI QIDQ5179362

Thierry Jéron

Publication date: 19 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.05.051

zbMATH Keywords

conformancereactive systemsmodel-based testingtest selection

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Monadic Sequence Testing and Explicit Test-Refinements ⋮ Test purpose oriented I/O conformance test selection with colored Petri nets

Uses Software

• GATeL
• DART
• STG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
• Model-based testing of reactive systems. Advanced lectures.
• Model checking, testing and verification working together
• Symbolic Execution Techniques for Test Purpose Definition
• Theoretical and Empirical Studies of Program Testing
• Tools and Algorithms for the Construction and Analysis of Systems
• Formal Methods for Components and Objects

This page was built for publication: Symbolic Model-based Test Selection