{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:43:23Z","timestamp":1757313803770,"version":"3.37.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319929965"},{"type":"electronic","value":"9783319929972"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-92997-2_10","type":"book-chapter","created":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T08:13:16Z","timestamp":1527495196000},"page":"147-163","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Property-Aware Unit Testing of UML-RT Models in the Context of MDE"],"prefix":"10.1007","author":[{"given":"Reza","family":"Ahmadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Hili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,29]]},"reference":[{"key":"10_CR1","unstructured":"Testing solutions with UML\/SysML (2010). \nhttp:\/\/www.artist-embedded.org\/docs\/Events\/2010\/UML_AADL\/slides\/Session1_Matthew_Hause.pdf\n\n. Accessed 06 Jan 2018"},{"key":"10_CR2","unstructured":"Model-Based Systems Engineering Design of an Automobile Collision Avoidance System (2011). \nhttps:\/\/www.isr.umd.edu\/~austin\/enes489p\/projects2011a\/CollisionAvoidance-FinalReport.pdf\n\n. Accessed 06 Jan 2018"},{"key":"10_CR3","unstructured":"A collection of well-known software failures (2016). \nhttp:\/\/www.cse.psu.edu\/~gxt29\/bug\/softwarebug.html\n\n. Accessed 25 Aug 2016"},{"issue":"7","key":"10_CR4","doi-asserted-by":"publisher","first-page":"892","DOI":"10.1109\/TSE.2012.72","volume":"39","author":"K Androutsopoulos","year":"2013","unstructured":"Androutsopoulos, K., Clark, D., Harman, M., Hierons, R.M., Li, Z., Tratt, L.: Amorphous slicing of extended finite state machines. IEEE Trans. Softw. Eng. 39(7), 892\u2013909 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR5","unstructured":"Bordeleau, F., Fiallos, E.: Model-based engineering: a new era based on Papyrus and open source tooling. In: OSS4MDE@ MoDELS, pp. 2\u20138 (2014)"},{"issue":"2","key":"10_CR6","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/2408776.2408795","volume":"56","author":"C Cadar","year":"2013","unstructured":"Cadar, C., Sen, K.: Symbolic execution for software testing: three decades later. Commun. ACM 56(2), 82\u201390 (2013)","journal-title":"Commun. ACM"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/3-540-46002-0_34","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D Clarke","year":"2002","unstructured":"Clarke, D., J\u00e9ron, T., Rusu, V., Zinovieva, E.: STG: a symbolic test generation tool. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 470\u2013475. Springer, Heidelberg (2002). \nhttps:\/\/doi.org\/10.1007\/3-540-46002-0_34"},{"issue":"5","key":"10_CR8","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/277652.277754","volume":"33","author":"Christopher Colby","year":"1998","unstructured":"Colby, C., Godefroid, P., Jagadeesan, L.J.: Automatically closing open reactive programs. In: ACM SIGPLAN Notices, vol. 33, pp. 345\u2013357. ACM (1998)","journal-title":"ACM SIGPLAN Notices"},{"key":"10_CR9","unstructured":"Drusinsky, D.: Modeling and Verification Using UML Statecharts: a Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking (2011)"},{"key":"10_CR10","volume-title":"Practical UML-Based Specification, Validation, and Verification of Mission-Critical Software: Space Exploration and Defense Software Examples in Practice","author":"D Drusinsky","year":"2011","unstructured":"Drusinsky, D.: Practical UML-Based Specification, Validation, and Verification of Mission-Critical Software: Space Exploration and Defense Software Examples in Practice. Dog Ear Publishing, Indianapolis (2011)"},{"key":"10_CR11","unstructured":"Feilkas, M., Fleischmann, A., Pfaller, C., Spichkova, M., Trachtenherz, D., et al.: A top-down methodology for the development of automotive software (2009)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Grossmann, J., Serbanescu, D., Schieferdecker, I.: Testing embedded real time systems with TTCN-3. In: International Conference on Software Testing Verification and Validation, ICST 2009, pp. 81\u201390. IEEE (2009)","DOI":"10.1109\/ICST.2009.37"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Hessel, A., Larsen, K., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using UPPAAL. In: Formal Methods and Testing, pp. 77\u2013117 (2008)","DOI":"10.1007\/978-3-540-78917-8_3"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Jagadeesan, L.J., Porter, A., Puchol, C., Ramming, J.C., Votta, L.G.: Specification-based testing of reactive software: tools and experiments: experience report. In: Proceedings of the 19th International Conference on Software Engineering, pp. 525\u2013535. ACM (1997)","DOI":"10.1145\/253228.253435"},{"issue":"4","key":"10_CR15","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms. Int. J. Softw. Tools Technol. Transf. (STTT) 7(4), 297\u2013315 (2005)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/11563228_10","volume-title":"Computer Safety, Reliability, and Security","author":"A Joshi","year":"2005","unstructured":"Joshi, A., Heimdahl, M.P.E.: Model-based safety analysis of simulink models using SCADE design verifier. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol. 3688, pp. 122\u2013135. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11563228_10"},{"key":"10_CR17","unstructured":"Dominguez, A.L.J.: Detection of feature interactions in automotive active safety features. Ph.D. thesis, University of Waterloo (2012)"},{"key":"10_CR18","unstructured":"Jussien, N., Rochart, G., Lorca, X.: Choco: an open source java constraint programming library. In: CPAIOR 2008 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP 2008), pp. 1\u201310 (2008)"},{"issue":"4","key":"10_CR19","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1049\/ip-sen:19990602","volume":"146","author":"YG Kim","year":"1999","unstructured":"Kim, Y.G., Hong, H.S., Bae, D.-H., Cha, S.D.: Test cases generation from UML state diagrams. IEE Proc.-Softw. 146(4), 187\u2013192 (1999)","journal-title":"IEE Proc.-Softw."},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Korel, B., Singh, I., Tahat, L., Vaysburg, B.: Slicing of state-based models. In: Proceedings of the International Conference on Software Maintenance, ICSM 2003, pp. 34\u201343. IEEE (2003)","DOI":"10.1109\/ICSM.2003.1235404"},{"key":"10_CR21","unstructured":"Li, S., Wang, J., Qi, Z.-C.: Property-oriented test generation from UML statecharts. In: Proceedings of the 19th IEEE International Conference on Automated Software Engineering, pp. 122\u2013131. IEEE Computer Society (2004)"},{"issue":"5","key":"10_CR22","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1002\/j.1538-7305.1955.tb03788.x","volume":"34","author":"GH Mealy","year":"1955","unstructured":"Mealy, G.H.: A method for synthesizing sequential circuits. Bell Labs Tech. J. 34(5), 1045\u20131079 (1955)","journal-title":"Bell Labs Tech. J."},{"issue":"1","key":"10_CR23","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1002\/stvr.264","volume":"13","author":"J Offutt","year":"2003","unstructured":"Offutt, J., Liu, S., Abdurazik, A., Ammann, P.: Generating test data from state-based specifications. Softw. Test. Verification Reliab. 13(1), 25\u201353 (2003)","journal-title":"Softw. Test. Verification Reliab."},{"issue":"1","key":"10_CR24","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/s10270-014-0399-z","volume":"15","author":"E Posse","year":"2016","unstructured":"Posse, E., Dingel, J.: An executable formal semantics for UML-RT. Softw. Syst. Model. 15(1), 179\u2013217 (2016)","journal-title":"Softw. Syst. Model."},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11498490_13","volume-title":"Model-Based Testing of Reactive Systems","author":"A Pretschner","year":"2005","unstructured":"Pretschner, A., Philipps, J.: 10 methodological issues in model-based testing. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 281\u2013291. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11498490_13"},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/11498490_13","volume-title":"Model-Based Testing of Reactive Systems","author":"A Pretschner","year":"2005","unstructured":"Pretschner, A., Philipps, J.: 10 methodological issues in model-based testing. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 11\u201318. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11498490_13"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Rapos, E.J., Dingel, J.: Incremental test case generation for UML-RT models using symbolic execution. In: 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), pp. 962\u2013963. IEEE (2012)","DOI":"10.1109\/ICST.2012.205"},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/BFb0057795","volume-title":"Languages, Compilers, and Tools for Embedded Systems","author":"B Selic","year":"1998","unstructured":"Selic, B.: Using UML for modeling complex real-time systems. In: Mueller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol. 1474, pp. 250\u2013260. Springer, Heidelberg (1998). \nhttps:\/\/doi.org\/10.1007\/BFb0057795"},{"key":"10_CR29","volume-title":"Real-Time Object-Oriented Modeling","author":"B Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling, vol. 2. Wiley, New York (1994)"},{"key":"10_CR30","unstructured":"Generating tests from UML specifications: generating tests from UML specifications. The Unified Modeling Language, p. 76 (1999)"},{"key":"10_CR31","volume-title":"Domain-Specific Environment Generation for Modular Software Model Checking","author":"O Tkachuk","year":"2008","unstructured":"Tkachuk, O.: Domain-Specific Environment Generation for Modular Software Model Checking. Kansas State University, Manhattan (2008)"},{"issue":"5","key":"10_CR32","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verification Reliab. 22(5), 297\u2013312 (2012)","journal-title":"Softw. Test. Verification Reliab."},{"key":"10_CR33","doi-asserted-by":"publisher","DOI":"10.1002\/0470017317","volume-title":"An Introduction to TTCN-3","author":"C Willcock","year":"2005","unstructured":"Willcock, C., Dei, T., Tobies, S., Keil, S., Engler, F., Schulz, S.: An Introduction to TTCN-3, vol. 2. Wiley, Hoboken (2005)"},{"key":"10_CR34","doi-asserted-by":"crossref","unstructured":"Zurowska, K., Dingel, J.: Symbolic execution of UML-RT state machines. In: Proceedings of the 27th Annual ACM Symposium on Applied Computing, pp. 1292\u20131299. ACM (2012)","DOI":"10.1145\/2245276.2231981"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92997-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T08:16:20Z","timestamp":1527495380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92997-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319929965","9783319929972"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92997-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}