Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs

DOI10.1109/TC.2008.15MaRDI QIDQ4589595zbMATH OpenOpenAlexFDO

Authors Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez

Publication date 10 November 2017

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tc.2008.15

Mathematics Subject Classification ID

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

Cited in

(4)

• Synthesis of distinguishing test cases for timed finite state machines
• Introducing complexity to formal testing
• scientific article; zbMATH DE number 1973972 (Why is no real title available?)
• Testing from a stochastic timed system with a fault model

This page was built for publication: Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs

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