Towards Deriving Test Sequences by Model Checking

DOI10.1016/j.entcs.2007.08.025zbMath1279.68198OpenAlexW2039882724MaRDI QIDQ2873605

Adenilso da Silva Simão, Adilson Luiz Bonifacio, José Carlos Maldonado, Arnaldo Vieira Moura

Publication date: 24 January 2014

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.2007.08.025

zbMATH Keywords

model checkingconformance testingtimed EFSMsuspicious configuration

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of timed automata
• Model-based testing of reactive systems. Advanced lectures.
• TCTL Inevitability Analysis of Dense-Time Systems
• Testing Software Design Modeled by Finite-State Machines
• Model Checking Software
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• A Method for the Design of Fault Detection Experiments
• Conformance tests for real-time systems with timed automata specifications

This page was built for publication: Towards Deriving Test Sequences by Model Checking