{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,26]],"date-time":"2026-08-26T02:39:04Z","timestamp":1787711944141,"version":"build-2784847793"},"reference-count":32,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2008,2,1]],"date-time":"2008-02-01T00:00:00Z","timestamp":1201824000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks"],"published-print":{"date-parts":[[2008,2]]},"DOI":"10.1016\/j.comnet.2007.10.002","type":"journal-article","created":{"date-parts":[[2007,11,9]],"date-time":"2007-11-09T14:20:34Z","timestamp":1194618034000},"page":"432-460","source":"Crossref","is-referenced-by-count":68,"title":["Formal testing from timed finite state machines"],"prefix":"10.1016","volume":"52","author":[{"given":"Mercedes G.","family":"Merayo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ismael","family":"Rodr\u00edguez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.comnet.2007.10.002_bib1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.comnet.2007.10.002_bib2","series-title":"11th International Conference on Concurrency Theory, CONCUR\u20192000","first-page":"305","article-title":"A theory of testing for markovian processes","author":"Bernardo","year":"2000"},{"key":"10.1016\/j.comnet.2007.10.002_bib3","series-title":"7th International Conference on Formal Engineering Methods, ICFEM\u201905","first-page":"264","article-title":"Testing real-time multi input\u2013output systems","author":"Brand\u00e1n Briones","year":"2005"},{"issue":"5","key":"10.1016\/j.comnet.2007.10.002_bib4","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1007\/s001650070009","article-title":"Conformance tests for real-time systems with timed automata specifications","volume":"12","author":"Cardell-Oliver","year":"2000","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/j.comnet.2007.10.002_bib5","series-title":"5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT\u201998","first-page":"251","article-title":"A practical and complete algorithm for testing real-time systems","author":"Cardell-Oliver","year":"1998"},{"key":"10.1016\/j.comnet.2007.10.002_bib6","series-title":"3rd IEEE Real Time Technology and Applications Symposium, RTAS\u201997","first-page":"112","article-title":"Automatic test generation for the analysis of a real-time system: case study","author":"Clarke","year":"1997"},{"key":"10.1016\/j.comnet.2007.10.002_bib7","series-title":"3rd Workshop on Object-Oriented Real-Time Dependable Systems, WORDS\u201997","first-page":"199","article-title":"Automatic generation of tests for timing constraints from requirements","author":"Clarke","year":"1997"},{"key":"10.1016\/j.comnet.2007.10.002_bib8","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","article-title":"Testing equivalences for processes","volume":"34","author":"de Nicola","year":"1984","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.comnet.2007.10.002_bib9","series-title":"15th International Conference on Testing Communicating Systems, TestCom\u201903","first-page":"211","article-title":"A guided method for testing timed input output automata","author":"En-Nouaary","year":"2003"},{"issue":"11","key":"10.1016\/j.comnet.2007.10.002_bib10","doi-asserted-by":"crossref","first-page":"1024","DOI":"10.1109\/TSE.2002.1049402","article-title":"Timed Wp-method: Testing real time systems","volume":"28","author":"En-Nouaary","year":"2002","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.comnet.2007.10.002_bib11","series-title":"19th IEEE Real Time Systems Symposium, RTSS\u201998","first-page":"220","article-title":"Timed test cases generation based on state characterization technique","author":"En-Nouaary","year":"1998"},{"issue":"5","key":"10.1016\/j.comnet.2007.10.002_bib12","doi-asserted-by":"crossref","first-page":"796","DOI":"10.1109\/TNET.2003.818182","article-title":"A technique to generate feasible tests for communications systems with multiple timers","volume":"11","author":"Fecko","year":"2003","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"10.1016\/j.comnet.2007.10.002_bib13","series-title":"IEEE Workshop on Real-Time Embedded Systems, RTES\u201901","article-title":"An user-oriented testing of real time systems","author":"Fouchal","year":"2001"},{"issue":"6","key":"10.1016\/j.comnet.2007.10.002_bib14","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1109\/32.87284","article-title":"Test selection based on finite-state models","volume":"17","author":"Fujiwara","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.comnet.2007.10.002_bib15","series-title":"Algebraic Theory of Processes","author":"Hennessy","year":"1988"},{"key":"10.1016\/j.comnet.2007.10.002_bib16","series-title":"3rd International Workshop on Formal Approaches to Testing of Software, FATES\u201903","first-page":"114","article-title":"Time-optimal real-time test case generation using UPPAAL","author":"Hessel","year":"2003"},{"key":"10.1016\/j.comnet.2007.10.002_bib17","series-title":"12th International Workshop on Testing of Communicating Systems, IWTCS\u201999","first-page":"197","article-title":"Generating test cases for a timed I\/O automaton model","author":"Higashino","year":"1999"},{"key":"10.1016\/j.comnet.2007.10.002_bib18","series-title":"7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT\u201902","first-page":"331","article-title":"A method for testing the conformance of real-time systems","author":"Khoumsi","year":"2002"},{"key":"10.1016\/j.comnet.2007.10.002_bib19","series-title":"17th International Conference on Testing of Communicating Systems, TestCom\u201905","first-page":"209","article-title":"An expressive and implementable formal framework for testing real-time systems","author":"Krichen","year":"2005"},{"key":"10.1016\/j.comnet.2007.10.002_bib20","series-title":"4th International Workshop on Formal Approaches to Testing of Software, FATES\u201904","first-page":"79","article-title":"Online testing of real-time systems using Uppaal","author":"Larsen","year":"2004"},{"key":"10.1016\/j.comnet.2007.10.002_bib21","series-title":"12th International Conference on Concurrency Theory, CONCUR\u201901","first-page":"321","article-title":"A testing theory for generally distributed stochastic processes","author":"L\u00f3pez","year":"2001"},{"issue":"4","key":"10.1016\/j.comnet.2007.10.002_bib22","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1145\/210223.210226","article-title":"Generating test cases for real time systems from logic specifications","volume":"13","author":"Mandrioli","year":"1995","journal-title":"ACM Transactions on Computer Systems"},{"key":"10.1016\/j.comnet.2007.10.002_bib23","unstructured":"M.G. Merayo, An integrated framework for the study of conformance relations in timed systems. Master\u2019s thesis, Universidad Complutense de Madrid, 2006. Available at <https:\/\/2.zoppoz.workers.dev:443\/http\/kimba.mat.ucm.es\/testing\/papers\/master-merayo.pdf>."},{"key":"10.1016\/j.comnet.2007.10.002_bib24","series-title":"22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE\u201902","first-page":"1","article-title":"Encoding PAMR into (timed) EFSMs","author":"N\u00fa\u00f1ez","year":"2002"},{"key":"10.1016\/j.comnet.2007.10.002_bib25","series-title":"23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE\u201903","first-page":"335","article-title":"Towards testing stochastic timed systems","author":"N\u00fa\u00f1ez","year":"2003"},{"key":"10.1016\/j.comnet.2007.10.002_bib26","series-title":"5th International Workshop on Formal Approaches to Software Testing, FATES\u201905","first-page":"103","article-title":"Conformance testing relations for timed systems","author":"N\u00fa\u00f1ez","year":"2006"},{"key":"10.1016\/j.comnet.2007.10.002_bib27","first-page":"53","article-title":"Test automation of safety-critical reactive systems","volume":"19","author":"Peleska","year":"1997","journal-title":"South African Computer Journal"},{"issue":"1\u20132","key":"10.1016\/j.comnet.2007.10.002_bib28","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","article-title":"Testing timed automata","volume":"254","author":"Springintveld","year":"2001","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"10.1016\/j.comnet.2007.10.002_bib29","first-page":"103","article-title":"outputs and repetitive quiescence","volume":"17","author":"Tretmans","year":"1996","journal-title":"Software \u2013 Concepts and Tools"},{"key":"10.1016\/j.comnet.2007.10.002_bib30","series-title":"10th International Conference on Concurrency Theory, CONCUR\u201999","first-page":"46","article-title":"Testing concurrent systems: A formal approach","author":"Tretmans","year":"1999"},{"issue":"18","key":"10.1016\/j.comnet.2007.10.002_bib31","doi-asserted-by":"crossref","first-page":"1967","DOI":"10.1016\/S1389-1286(99)00007-9","article-title":"Testing protocols modeled as FSMs with timing parameters","volume":"31","author":"Uyar","year":"1999","journal-title":"Computer Networks"},{"key":"10.1016\/j.comnet.2007.10.002_bib32","series-title":"2nd IFIP TC6 International Workshop on Protocol Test Systems, IWPTS\u201989","first-page":"161","article-title":"The UIOv-method for protocol test sequence generation","author":"Voung","year":"1990"}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S1389128607002812?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S1389128607002812?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,3]],"date-time":"2019-01-03T02:26:19Z","timestamp":1546482379000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128607002812"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,2]]}},"alternative-id":["S1389128607002812"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.comnet.2007.10.002","relation":{},"ISSN":["1389-1286"],"issn-type":[{"value":"1389-1286","type":"print"}],"subject":[],"published":{"date-parts":[[2008,2]]}}}