{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T04:12:23Z","timestamp":1747368743576,"version":"3.40.5"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319150741"},{"type":"electronic","value":"9783319150758"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15075-8_4","type":"book-chapter","created":{"date-parts":[[2015,1,6]],"date-time":"2015-01-06T10:05:27Z","timestamp":1420538727000},"page":"48-63","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Diego R.","family":"Almeida","sequence":"first","affiliation":[]},{"given":"Alan","family":"Moraes","sequence":"additional","affiliation":[]},{"given":"Wilkerson L.","family":"Andrade","sequence":"additional","affiliation":[]},{"given":"Patr\u00edcia D. L.","family":"Machado","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,1,7]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Alagar, V.S., Ormandjieva, O., Zheng, M.: Specification-based testing for real-time reactive systems. In: Proceedings of the 34th International Conference on Technology of Object-Oriented Languages and Systems, pp. 25\u201336 (2000)","DOI":"10.1109\/TOOLS.2000.868956"},{"key":"4_CR2","unstructured":"Almeida, D.R.: Crit\u00e9rios de Gera\u00e7\u00e3o de Casos de Teste de Sistemas de Tempo Real. Master\u2019s thesis, Federal University of Campina Grande, Campina Grande, PB, Brazil (2012)"},{"issue":"2","key":"4_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s00165-011-0197-0","volume":"24","author":"WL Andrade","year":"2012","unstructured":"Andrade, W.L., Machado, P.D.L.: Testing interruptions in reactive systems. Formal Aspects of Computing 24, 331\u2013353 (2012)","journal-title":"Formal Aspects of Computing"},{"issue":"9","key":"4_CR5","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1109\/TSE.2013.13","volume":"39","author":"WL Andrade","year":"2013","unstructured":"Andrade, W.L., Machado, P.D.L.: Generating test cases for real-time systems based on symbolic models. IEEE Transactions on Software Engineering 39(9), 1216\u20131229 (2013)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Andrade, W.L., Machado, P.D.L., J\u00e9ron, T., Marchand, H.: Abstracting time and data for conformance testing of real-time systems. In: Proceedings of the 8th Workshop on Advances in Model Based Testing, pp. 9\u201317 (2011)","DOI":"10.1109\/ICSTW.2011.82"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-16573-3_8","volume-title":"Testing Software and Systems","author":"A Arcuri","year":"2010","unstructured":"Arcuri, A., Iqbal, M.Z., Briand, L.: Black-box system testing of real-time embedded systems using random and search-based testing. In: Petrenko, A., Sim\u00e3o, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol. 6435, pp. 95\u2013110. Springer, Heidelberg (2010)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-61474-5_73","volume-title":"Computer Aided Verification","author":"J Bengtsson","year":"1996","unstructured":"Bengtsson, J., Griffioen, W.O.D., Kristoffersen, K.J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Verification of an audio protocol with bus collision using UPPAAL. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 244\u2013256. Springer, Heidelberg (1996)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Clarke, D., Lee, I.: Automatic test generation for the analysis of a real-time system: case study. In: Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, pp. 112\u2013124 (1997)","DOI":"10.1109\/RTTAS.1997.601349"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"El-Far, I.K., Whittaker, J.A.: Model-based software testing. In: Marciniak, J.J. (ed.) Encyclopedia of Software Engineering, vol. 1, pp. 825\u2013837. John Wiley & Sons, Inc. (2002)","DOI":"10.1002\/0471028959.sof207"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"En-Nouaary, A., Khendek, F., Dssouli, R.: Fault coverage in testing real-time systems. In: Proceedings of the 6th Real-Time Computing Systems and Applications, pp. 150\u2013157 (1999)","DOI":"10.1109\/RTCSA.1999.811206"},{"issue":"4","key":"4_CR12","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1108\/17440080710848080","volume":"3","author":"A En-Nouaary","year":"2007","unstructured":"En-Nouaary, A.: Test selection criteria for real-time systems modeled as timed input-output automata. International Journal of Web Information Systems 3(4), 279\u2013292 (2007)","journal-title":"International Journal of Web Information Systems"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"En-Nouaary, A., Hamou-Lhadj, A.: A boundary checking technique for testing real-time systems modeled as timed input output automata. In: Proceedings of the 8th International Conference on Quality Software, pp. 209\u2013215 (2008)","DOI":"10.1109\/QSIC.2008.53"},{"key":"4_CR14","unstructured":"Hessel, A.: Model-Based Test Case Selection and Generation for Real-Time Systems. Ph.D. thesis, Uppsala University, Uppsala, Sweden (2007)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-540-31980-1_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B Jeannet","year":"2005","unstructured":"Jeannet, B., J\u00e9ron, T., Rusu, V., Zinovieva, E.: Symbolic test selection based on approximate analysis. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 349\u2013364. Springer, Heidelberg (2005)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-24732-6_8","volume-title":"Model Checking Software","author":"M Krichen","year":"2004","unstructured":"Krichen, M., Tripakis, S.: Black-box conformance testing for real-time systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 109\u2013126. Springer, Heidelberg (2004)"},{"issue":"3","key":"4_CR17","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/s10703-009-0065-1","volume":"34","author":"M Krichen","year":"2009","unstructured":"Krichen, M., Tripakis, S.: Conformance testing for real-time systems. Formal Methods in System Design 34(3), 238\u2013304 (2009)","journal-title":"Formal Methods in System Design"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Laplante, P.A.: Real-Time System Design and Analysis. John Wiley & Sons (2004)","DOI":"10.1002\/0471648299"},{"key":"4_CR19","unstructured":"Locke, C.D., Vogel, D.R., Lucas, L., Goodenough, J.B.: Generic avionics software specification. Software Engineering Institute, Carnegie Mellon University, Tech. rep. (1990)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Nielsen, B., Skou, A.: Test generation for time critical systems: tool and case study. In: Proceedings of the 13th Euromicro Conference on Real-Time Systems, pp. 155\u2013162 (2001)","DOI":"10.1109\/EMRTS.2001.934021"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Peleska, J.: Industrial-strength model-based testing - state of the art and current challenges. In: Proceedings of the 8th Workshop on Model-Based Testing, pp. 3\u201328 (2013)","DOI":"10.4204\/EPTCS.111.1"},{"issue":"2","key":"4_CR22","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/s10009-003-0128-3","volume":"5","author":"A Pretschner","year":"2004","unstructured":"Pretschner, A., Slotosch, O., Aiglstorfer, E., Kriebel, S.: Model-based testing for real. International Journal on Software Tools for Technology Transfer 5(2), 140\u2013157 (2004)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"4","key":"4_CR23","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"S Rapps","year":"1985","unstructured":"Rapps, S., Weyuker, E.J.: Selecting software test data using data flow information. IEEE Transactions on Software Engineering 11(4), 367\u2013375 (1985)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/3-540-40911-4_20","volume-title":"Integrated Formal Methods","author":"V Rusu","year":"2000","unstructured":"Rusu, V., du Bousquet, L., J\u00e9ron, T.: An approach to symbolic test generation. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol. 1945, pp. 338\u2013557. Springer, Heidelberg (2000)"},{"key":"4_CR25","series-title":"International Computer Science Series","volume-title":"Software Engineering","author":"I Sommerville","year":"2010","unstructured":"Sommerville, I.: Software Engineering. International Computer Science Series, 9th edn. Addison-Wesley, Boston (2010)","edition":"9"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-15585-7_20","volume-title":"Testing \u2013 Practice and Research Techniques","author":"MSA Trab","year":"2010","unstructured":"Trab, M.S.A., Alrouh, B., Counsell, S., Hierons, R.M., Ghinea, G.: A multi-criteria decision making framework for real time model-based testing. In: Bottaci, L., Fraser, G. (eds.) TAIC PART 2010. LNCS, vol. 6303, pp. 194\u2013197. Springer, Heidelberg (2010)"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-21455-4_9","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"J Tretmans","year":"2011","unstructured":"Tretmans, J.: Model-based testing and some steps towards test-based modelling. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 297\u2013326. Springer, Heidelberg (2011)"},{"key":"4_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48320-9_6","volume-title":"CONCUR 1999, Concurrency Theory","author":"J Tretmans","year":"1999","unstructured":"Tretmans, J.: Testing concurrent systems: a formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 46\u201365. Springer, Heidelberg (1999)"},{"key":"4_CR29","volume-title":"Practical Model Based Testing: A Tools Approach","author":"M Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model Based Testing: A Tools Approach. Elsevier, San Francisco (2007)"},{"key":"4_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Springer, New York (2012)"},{"issue":"2","key":"4_CR31","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1016\/j.jss.2007.05.009","volume":"81","author":"M Zheng","year":"2008","unstructured":"Zheng, M., Alagar, V., Ormandjieva, O.: Automated generation of test suites from formal specifications of real-time reactive systems. Journal of Systems and Software 81(2), 286\u2013304 (2008)","journal-title":"Journal of Systems and Software"},{"issue":"4","key":"4_CR32","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Computing Surveys 29(4), 366\u2013427 (1997)","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15075-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T01:12:10Z","timestamp":1747357930000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15075-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319150741","9783319150758"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15075-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"7 January 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}