Towards deriving test sequences by model checking
type: Item
instance of: scholarly article
zbMATH Open document ID: 1279.68198
author: Adilson Luiz Bonifacio
author: Adenilso da Silva Simão
author: Arnaldo Vieira Moura
author: José Carlos Maldonado
published in: Electronic Notes in Theoretical Computer Science
publication date: 2014-01-24T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68M15
zbMATH DE Number: 6250193
zbMATH Keywords: model checking
zbMATH Keywords: timed EFSM
zbMATH Keywords: conformance testing
zbMATH Keywords: suspicious configuration
MaRDI profile type: Publication
full work available at URL: j.entcs.2007.08.025
OpenAlex ID: W2039882724
cites work: Q4817528
cites work: A theory of timed automata
cites work: Q4804906
cites work: Q4818802
cites work: Conformance tests for real-time systems with timed automata specifications
cites work: Testing Software Design Modeled by Finite-State Machines
cites work: Q4737124
cites work: Q4938632
cites work: Formal Techniques for Networked and Distributed Systems - FORTE 2005
cites work: Model-based testing of reactive systems. Advanced lectures.
cites work: Q5541342
cites work: A Method for the Design of Fault Detection Experiments
cites work: Model Checking Software
cites work: Q3141897
cites work: Q4530804
cites work: Q4942006
cites work: Q4896913
cites work: TCTL Inevitability Analysis of Dense-Time Systems
DOI: 10.1016/J.ENTCS.2007.08.025
title: Towards deriving test sequences by model checking
description: scientific article; zbMATH DE number 6250193