Model-Based Test Selection for Infinite-State Reactive Systems

DOI10.1007/978-3-540-74792-5_3MaRDI QIDQ3525109zbMATH OpenOpenAlexFDO

Authors Bertrand Jeannet, Thierry Jéron, Vlad Rusu

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)

Recommendations

• Model-based testing of probabilistic systems
• Model-based testing of probabilistic systems
• Model-Based Mutation Testing of Reactive Systems
• Incremental learning-based testing for reactive systems
• Model-based testing of probabilistic systems with stochastic time

Cites work

• scientific article; zbMATH DE number 2079824 (Why is no real title available?)
• scientific article; zbMATH DE number 2080069 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• scientific article; zbMATH DE number 1418451 (Why is no real title available?)
• Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
• Model checking, testing and verification working together
• Model-based testing of reactive systems. Advanced lectures.
• Symbolic Execution Techniques for Test Purpose Definition
• Theoretical and Empirical Studies of Program Testing

Cited in

(6)

• FM 2005: Formal Methods
• Test purpose oriented I/O conformance test selection with colored Petri nets
• Incremental learning-based testing for reactive systems
• Test selection for traces refinement
• Model-based testing of reactive systems. Advanced lectures.
• Tools and Algorithms for the Construction and Analysis of Systems

Describes a project that uses

Uses Software

• STG
• DART
• GATeL
• AGATHA

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525109)