Model-Based Test Selection for Infinite-State Reactive Systems

DOI10.1007/978-3-540-74792-5_3zbMath1147.68572OpenAlexW4244911877MaRDI QIDQ3525109

Vlad Rusu, Thierry Jéron, Bertrand Jeannet

Publication date: 17 September 2008

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74792-5_3

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• AGATHA
• GATeL
• DART
• STG

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Model-Based Test Selection for Infinite-State Reactive Systems