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

DOI10.1109/TC.2008.15zbMATH Open1373.68141OpenAlexW2157820788MaRDI QIDQ4589595FDOQ4589595

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
• Title not available (Why is that?)
• 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)