{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:14:14Z","timestamp":1759637654576,"version":"3.37.0"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,8,14]],"date-time":"2009-08-14T00:00:00Z","timestamp":1250208000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1007\/s10270-009-0126-3","type":"journal-article","created":{"date-parts":[[2009,8,13]],"date-time":"2009-08-13T13:17:54Z","timestamp":1250169474000},"page":"201-217","source":"Crossref","is-referenced-by-count":9,"title":["Testing timed systems modeled by Stream X-machines"],"prefix":"10.1007","volume":"10","author":[{"given":"Mercedes G.","family":"Merayo","sequence":"first","affiliation":[]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[]},{"given":"Robert M.","family":"Hierons","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,8,14]]},"reference":[{"key":"126_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur R., Dill D.: A theory of timed automata. Theor. Comput. Sci. 126, 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"126_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04995-2","volume-title":"Process Algebra with Timing EATCS. Monograph","author":"J.C.M. Baeten","year":"2002","unstructured":"Baeten J.C.M., Middelburg C.A.: Process Algebra with Timing EATCS. Monograph. Springer, Berlin (2002)"},{"issue":"5\u20136","key":"126_CR3","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0950-5849(98)00053-6","volume":"40","author":"J. Barnard","year":"1998","unstructured":"Barnard J.: COMX: a design methodology using communicating X-machines. Inform. Softw. Technol. 40(5\u20136), 271\u2013280 (1998)","journal-title":"Inform. Softw. Technol."},{"key":"126_CR4","doi-asserted-by":"crossref","unstructured":"Batth, S.S., Rodrigues Vieira, E., Cavalli, A., Uyar, M.\u00dc.: Specification of timed EFSM fault models in SDL. In: 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE\u201907. Lecture Notes in Computer Sciences, vol. 4574, pp. 50\u201365. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-73196-2_4"},{"key":"126_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s00165-005-0085-6","volume":"18","author":"K. Bogdanov","year":"2006","unstructured":"Bogdanov K., Holcombe M., Ipate F., Seed L., Vanak S.: Testing methods for X-machines: a review. Formal Asp. Comput. 18, 3\u201330 (2006)","journal-title":"Formal Asp. Comput."},{"key":"126_CR6","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0169-7552(91)90079-R","volume":"22","author":"B.S. Bosik","year":"1991","unstructured":"Bosik B.S., Uyar M.\u00dc.: Finite state machine based formal methods in protocol conformance testing. Comput. Netw. ISDN Syst. 22, 7\u201333 (1991)","journal-title":"Comput. Netw. ISDN Syst."},{"key":"126_CR7","doi-asserted-by":"crossref","unstructured":"Brand\u00e1n Briones, L., Brinksma, E.: Testing real-time multi input-output systems. In: 7th International Conference on Formal Engineering Methods, ICFEM\u201905. Lecture Notes in Computer Sciences, vol. 3785, pp. 264\u2013279. Springer, Berlin (2005)","DOI":"10.1007\/11576280_19"},{"key":"126_CR8","doi-asserted-by":"crossref","unstructured":"Brinksma, E., Tretmans, J.: Testing transition systems: an annotated bibliography. In: 4th Summer School on Modeling and Verification of Parallel Processes, MOVEP\u201900. Lecture Notes in Computer Sciences, vol. 2067, pp. 187\u2013195. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45510-8_9"},{"issue":"5","key":"126_CR9","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1007\/s001650070009","volume":"12","author":"R. Cardell-Oliver","year":"2000","unstructured":"Cardell-Oliver R.: Conformance tests for real-time systems with timed automata specifications. Formal Asp. Comput. 12(5), 350\u2013371 (2000)","journal-title":"Formal Asp. Comput."},{"key":"126_CR10","doi-asserted-by":"crossref","unstructured":"Cardell-Oliver, R., Glover, T.: A practical and complete algorithm for testing real-time systems. In: 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT\u201998. Lecture Notes in Computer Sciences, vol. 1486, pp. 251\u2013260. Springer, Berlin (1998)","DOI":"10.1007\/BFb0055352"},{"key":"126_CR11","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow T.S.: Testing software design modelled by finite state machines. IEEE Trans. Softw. Eng. 4, 178\u2013187 (1978)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"126_CR12","doi-asserted-by":"crossref","unstructured":"Clarke, D., Lee, I.: Automatic generation of tests for timing constraints from requirements. In: 3rd Workshop on Object-Oriented Real-Time Dependable Systems, WORDS\u201997, pp. 199\u2013206. IEEE Computer Society Press, New York (1997)","DOI":"10.1109\/WORDS.1997.609955"},{"key":"126_CR13","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0304-3975(94)00169-J","volume":"138","author":"J. Davies","year":"1995","unstructured":"Davies J., Schneider S.: A brief history of timed CSP. Theor. Comput. Sci. 138, 243\u2013271 (1995)","journal-title":"Theor. Comput. Sci."},{"issue":"7","key":"126_CR14","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1109\/TSE.2004.31","volume":"30","author":"K. El-Fakih","year":"2004","unstructured":"El-Fakih K., Yevtushenko N., von Bochmann G.: FSM-based incremental conformance testing methods. IEEE Trans. Softw. Eng. 30(7), 425\u2013436 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"11","key":"126_CR15","doi-asserted-by":"crossref","first-page":"1024","DOI":"10.1109\/TSE.2002.1049402","volume":"28","author":"A. En-Nouaary","year":"2002","unstructured":"En-Nouaary A., Dssouli R., Khendek F.: Timed Wp-method: testing real time systems. IEEE Trans. Softw. Eng. 28(11), 1024\u20131039 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"126_CR16","unstructured":"Fouchal, H., Petitjean, E., Salva, S.: An user-oriented testing of real time systems. In: IEEE Workshop on Real-Time Embedded Systems, RTES\u201901. IEEE Computer Society Press, New York (2001)"},{"issue":"2","key":"126_CR17","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M. Hennessy","year":"1995","unstructured":"Hennessy M., Regan T.: A process algebra for timed systems. Inform. Comput. 117(2), 221\u2013239 (1995)","journal-title":"Inform. Comput."},{"key":"126_CR18","doi-asserted-by":"crossref","unstructured":"Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using UPPAAL. In: Formal Methods and Testing. Lecture Notes in Computer Sciences, vol. 4949, pp. 77\u2013117. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-78917-8_3"},{"key":"126_CR19","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A.J.H, Vilkomir, S., Woodward, M.R., Zedan, H.: Using formal methods to support testing. ACM Comput. Surv. 41(2) (2009)","DOI":"10.1145\/1459352.1459354"},{"volume-title":"Formal Methods and Testing. Lecture Notes in Computer Sciences, vol. 4949","year":"2008","key":"126_CR20","unstructured":"Hierons, R.M., Bowen, J.P., Harman, M. (eds): Formal Methods and Testing. Lecture Notes in Computer Sciences, vol. 4949. Springer, Berlin (2008)"},{"issue":"1\u20133","key":"126_CR21","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/j.tcs.2004.04.002","volume":"323","author":"R.M. Hierons","year":"2004","unstructured":"Hierons R.M., Harman M.: Testing conformance of a deterministic implementation to a non-deterministic stream X-machine. Theor. Comput. Sci. 323(1\u20133), 191\u2013233 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"126_CR22","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1007\/s00165-008-0087-2","volume":"20","author":"R.M. Hierons","year":"2008","unstructured":"Hierons R.M., Ipate F.: Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. Formal Asp. Comput. 20(6), 597\u2013617 (2008)","journal-title":"Formal Asp. Comput."},{"issue":"2","key":"126_CR23","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1016\/j.jlap.2008.06.001","volume":"78","author":"R.M. Hierons","year":"2009","unstructured":"Hierons R.M., Merayo M.G., N\u00fa\u00f1ez M.: Testing from a stochastic timed system with a fault model. J. Log. Algebraic Program. 78(2), 98\u2013115 (2009)","journal-title":"J. Log. Algebraic Program."},{"key":"126_CR24","doi-asserted-by":"crossref","unstructured":"Higashino, T, Nakata, A, Taniguchi, K., Cavalli, A.: Generating test cases for a timed I\/O automaton model. In: 12th International Workshop on Testing of Communicating Systems, IWTCS\u201999, pp. 197\u2013214. Kluwer, Dordrecht (1999)","DOI":"10.1007\/978-0-387-35567-2_13"},{"key":"126_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3435-0","volume-title":"Correct Systems: Building a Business Process Solution","author":"M. Holcombe","year":"1998","unstructured":"Holcombe M., Ipate F.: Correct Systems: Building a Business Process Solution. Springer, Berlin (1998)"},{"issue":"1","key":"126_CR26","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.tcs.2005.12.002","volume":"353","author":"F. Ipate","year":"2006","unstructured":"Ipate F.: Testing against a non-controllable stream X-machine using state counting. Theor. Comput. Sci. 353(1), 291\u2013316 (2006)","journal-title":"Theor. Comput. Sci."},{"issue":"3\u20134","key":"126_CR27","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1080\/00207169708804559","volume":"63","author":"F. Ipate","year":"1997","unstructured":"Ipate F., Holcombe M.: An integration testing method that is proved to find all faults. Int. J. Comput. Math. 63(3\u20134), 159\u2013178 (1997)","journal-title":"Int. J. Comput. Math."},{"issue":"2\u20133","key":"126_CR28","first-page":"171","volume":"403","author":"F. Ipate","year":"2008","unstructured":"Ipate F., Holcombe M.: Testing data processing-oriented systems from Stream X-machine models. Theor. Comput. Sci. 403(2\u20133), 171\u2013191 (2008)","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"126_CR29","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/S0950-5849(03)00018-1","volume":"45","author":"P. Kefalas","year":"2003","unstructured":"Kefalas P., Eleftherakis G., Kehris E.: Communicating X-machines: a practical approach for formal and modular specification of large systems. Inform. Softw. Technol. 45(5), 269\u2013280 (2003)","journal-title":"Inform. Softw. Technol."},{"key":"126_CR30","first-page":"163","volume-title":"Systems and Control: Theory and Applications","author":"E. Kehris","year":"2000","unstructured":"Kehris E., Eleftherakis G., Kefalas P.: Using X\u2013machines to model and test discrete event simulation programs. In: Mastorakis, N. (eds) Systems and Control: Theory and Applications, pp. 163\u2013171. World Scientific and Engineering Society Press, Greece (2000)"},{"key":"126_CR31","doi-asserted-by":"crossref","unstructured":"Krichen, M., Tripakis, S.: An expressive and implementable formal framework for testing real-time systems. In: 17th International Conference on Testing of Communicating Systems, TestCom\u201905. Lecture Notes in Computer Sciences, vol. 3502, pp. 209\u2013225. Springer, Berlin (2005)","DOI":"10.1007\/11430230_15"},{"issue":"8","key":"126_CR32","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee D., Yannakakis M.: Principles and methods of testing finite state machines: a survey. Proc. IEEE 84(8), 1090\u20131123 (1996)","journal-title":"Proc. IEEE"},{"issue":"4","key":"126_CR33","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1145\/210223.210226","volume":"13","author":"D. Mandrioli","year":"1995","unstructured":"Mandrioli D., Morasca S., Morzenti A.: Generating test cases for real time systems from logic specifications. ACM Trans. Comput. Syst. 13(4), 356\u2013398 (1995)","journal-title":"ACM Trans. Comput. Syst."},{"key":"126_CR34","doi-asserted-by":"crossref","unstructured":"Merayo, M.G., Hierons, R.M., N\u00fa\u00f1ez, M.: Extending stream X-machines to specify and test systems with timeouts. In: 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM\u201908, pp. 201\u2013210. IEEE Computer Society Press, New York (2008)","DOI":"10.1109\/SEFM.2008.15"},{"key":"126_CR35","doi-asserted-by":"crossref","unstructured":"Merayo, M.G., N\u00fa\u00f1ez, M.: Testing conformance on stochastic stream X-machines. In: 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM\u201907, pp. 227\u2013236. IEEE Computer Society Press, New York (2007)","DOI":"10.1109\/SEFM.2007.41"},{"issue":"6","key":"126_CR36","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1109\/TC.2008.15","volume":"57","author":"M.G. Merayo","year":"2008","unstructured":"Merayo M.G., N\u00fa\u00f1ez M., Rodr\u00edguez I.: Extending EFSMs to specify and test timed systems with action durations and timeouts. IEEE Trans. Comput. 57(6), 835\u2013848 (2008)","journal-title":"IEEE Trans. Comput."},{"issue":"2","key":"126_CR37","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1016\/j.comnet.2007.10.002","volume":"52","author":"M.G. Merayo","year":"2008","unstructured":"Merayo M.G., N\u00fa\u00f1ez M., Rodr\u00edguez I.: Formal testing from timed finite state machines. Comput. Netw. 52(2), 432\u2013460 (2008)","journal-title":"Comput. Netw."},{"key":"126_CR38","doi-asserted-by":"crossref","unstructured":"Nicollin, X., Sifakis, J.: An overview and synthesis on timed process algebras. In: 3rd International Conference on Computer Aided Verification, CAV\u201991. Lecture Notes in Computer Sciences, vol. 575, pp. 376\u2013398. Springer, Berlin (1991)","DOI":"10.1007\/3-540-55179-4_36"},{"key":"126_CR39","first-page":"53","volume":"19","author":"J. Peleska","year":"1997","unstructured":"Peleska J., Siegel M.: Test automation of safety-critical reactive systems. S. Afr. Comput. J. 19, 53\u201377 (1997)","journal-title":"S. Afr. Comput. J."},{"key":"126_CR40","doi-asserted-by":"crossref","unstructured":"Petrenko, A.: Fault model-driven test derivation from finite state models: annotated bibliography. In: 4th Summer School on Modeling and Verification of Parallel Processes, MOVEP\u201900. Lecture Notes in Computer Sciences, vol. 2067, pp. 196\u2013205. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45510-8_10"},{"key":"126_CR41","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Yevtushenko, N., von Bochmann, G.: Testing deterministic implementations from their nondeterministic FSM specifications. In: 9th IFIP Workshop on Testing of Communicating Systems, IWTCS\u201996, pp. 125\u2013140. Chapman & Hall, London (1996)","DOI":"10.1007\/978-0-387-35062-2_10"},{"key":"126_CR42","unstructured":"Petrenko, A., Yevtushenko, N., Lebedev, A.V., Das, A.: Nondeterministic state machines in protocol conformance testing. In: 6th IFIP Workshop on Protocol Test Systems, IWPTS\u201993, pp. 363\u2013378. North-Holland, Amsterdam (1993)"},{"key":"126_CR43","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/BF01211556","volume":"5","author":"J. Quemada","year":"1993","unstructured":"Quemada J., de Frutos D., Azcorra A.: TIC: a timed calculus. Formal Asp. Comput. 5, 224\u2013252 (1993)","journal-title":"Formal Asp. Comput."},{"key":"126_CR44","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G.M. Reed","year":"1988","unstructured":"Reed G.M., Roscoe A.W.: A timed model for communicating sequential processes. Theor. Comput. Sci. 58, 249\u2013261 (1988)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"126_CR45","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/j.jlap.2007.03.002","volume":"74","author":"I. Rodr\u00edguez","year":"2008","unstructured":"Rodr\u00edguez I., Merayo M.G., N\u00fa\u00f1ez M.: $${\\mathcal {HOT\\,L}}$$ : hypotheses and observations testing logic. J. Log. Algebraic Program. 74(2), 57\u201393 (2008)","journal-title":"J. Log. Algebraic Program."},{"key":"126_CR46","doi-asserted-by":"crossref","unstructured":"Schmaltz, J., Tretmans, J.: On conformance testing for timed systems. In: 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS\u201908. Lecture Notes in Computer Sciences, vol. 5215, pp. 250\u2013264. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-85778-5_18"},{"key":"126_CR47","unstructured":"Sifakis, J.: Use of Petri nets for performance evaluation. In: 3rd International Symposium on Measuring, Modelling and Evaluating Computer Systems, pp. 75\u201393. North-Holland, Amsterdam (1977)"},{"key":"126_CR48","doi-asserted-by":"crossref","unstructured":"Springintveld, J., Vaandrager, F., D\u2019Argenio, P.R.: Testing timed automata. Theor. Comput. Sci. 254(1\u20132), 225\u2013257 (2001) [Previously appeared as Technical Report CTIT-97-17, University of Twente (1997)]","DOI":"10.1016\/S0304-3975(99)00134-6"},{"key":"126_CR49","unstructured":"Stannett, M.: Computation over arbitrary models of time. Technical Report CS-2001-08, Department of Computer Science, Sheffield University (2001)"},{"key":"126_CR50","doi-asserted-by":"crossref","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Formal Methods and Testing. Lecture Notes in Computer Sciences, vol. 4949, pp. 1\u201338. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-78917-8_1"},{"issue":"2","key":"126_CR51","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1109\/TC.2007.70772","volume":"57","author":"M.\u00dc. Uyar","year":"2008","unstructured":"Uyar M.\u00dc., Batth S.S., Wang Y., Fecko M.A.: Algorithms for modeling a class of single timing faults in communication protocols. IEEE Trans. Comput. 57(2), 274\u2013288 (2008)","journal-title":"IEEE Trans. Comput."},{"issue":"18","key":"126_CR52","doi-asserted-by":"crossref","first-page":"1967","DOI":"10.1016\/S1389-1286(99)00007-9","volume":"31","author":"M.\u00dc. Uyar","year":"1999","unstructured":"Uyar M.\u00dc., Fecko M.A., Sethi A.S., Amar P.D.: Testing protocols modeled as FSMs with timing parameters. Comput. Netw. 31(18), 1967\u20131998 (1999)","journal-title":"Comput. Netw."},{"key":"126_CR53","doi-asserted-by":"crossref","unstructured":"Yi, W.: CCS+ Time = an interleaving model for real time systems. In: 18th International Colloquium on Automata, Languages and Programming, ICALP\u201991. Lecture Notes in Computer Sciences, vol. 510, pp. 217\u2013228. Springer, Berlin (1991)","DOI":"10.1007\/3-540-54233-7_136"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0126-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-009-0126-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0126-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T18:54:02Z","timestamp":1739300042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-009-0126-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,14]]},"references-count":53,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,5]]}},"alternative-id":["126"],"URL":"https:\/\/doi.org\/10.1007\/s10270-009-0126-3","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2009,8,14]]}}}