García Merayo, María De Las MercedesNúñez García, ManuelRodríguez Laguna, Ismael2023-06-202023-06-202008-060018-934010.1109/TC.2008.15https://hdl.handle.net/20.500.14352/50016In this paper, we introduce a timed extension of the extended finite state machines model. On one hand, we consider that (output) actions take time to be performed. This time may depend on several factors, such as the value of variables. On the other hand, our formalism allows us to specify time-outs. In addition to presenting our language, we develop a testing theory. First, we define 10 timed conformance relations and relate them. Second, we introduce a notion of timed test and define how to apply tests to implementations. Finally, we give an algorithm to derive sound and complete test suites with respect to the implementation relations presented in the paper. This paper represents an extended and improved version ofengjournal articlehttp://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4433986http://www.ieee.orgrestricted access519.8Testing and debuggingFormal methodsSpecification techniquesSpecifying and verifying and reasoning about programsAutomataComputer ScienceHardware & ArchitectureEngineeringElectrical & ElectronicInvestigación operativa (Matemáticas)1207 Investigación Operativa