{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:16:54Z","timestamp":1784233014517,"version":"3.55.0"},"reference-count":79,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,4,2]],"date-time":"2013-04-02T00:00:00Z","timestamp":1364860800000},"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":[[2015,2]]},"DOI":"10.1007\/s10270-013-0328-6","type":"journal-article","created":{"date-parts":[[2013,4,1]],"date-time":"2013-04-01T10:19:47Z","timestamp":1364811587000},"page":"483-524","source":"Crossref","is-referenced-by-count":41,"title":["Environment modeling and simulation for automated testing of soft real-time embedded software"],"prefix":"10.1007","volume":"14","author":[{"given":"Muhammad Zohaib","family":"Iqbal","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Arcuri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,4,2]]},"reference":[{"key":"328_CR1","doi-asserted-by":"crossref","unstructured":"Iqbal, M.Z., Arcuri, A., Briand, L.: Environment modeling with UML\/MARTE to support Black-Box system testing for real-time embedded systems: methodology and industrial case studies. In: Model Driven Engineering Languages and Systems, pp. 286\u2013300. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16145-2_20"},{"key":"328_CR2","unstructured":"Artemis: (2011) Artemis Joint Undertaking\u2014The public private partnership for R & D Embedded Systems (June 13, 2011). http:\/\/artemis-ju.eu\/embedded_systems"},{"key":"328_CR3","volume-title":"Testing Embedded Software","author":"BM Broekman","year":"2003","unstructured":"Broekman, B.M., Notenboom, E.: Testing Embedded Software. Addison-Wesley, Boston (2003)"},{"key":"328_CR4","unstructured":"OMG: Unified Modeling Language Superstructure, Version 2.3 (2010). http:\/\/www.omg.org\/spec\/UML\/2.3\/"},{"key":"328_CR5","unstructured":"OMG: Modeling and Analysis of Real-time and Embedded systems (MARTE), Version 1.0 (2009). http:\/\/www.omg.org\/spec\/MARTE\/1.0\/"},{"key":"328_CR6","unstructured":"OMG: Object Constraint Language Specification, Version 2.2. Object Management Group Inc. (2010). http:\/\/www.omg.org\/spec\/OCL\/2.2\/"},{"key":"328_CR7","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software (1995)"},{"key":"328_CR8","unstructured":"Cheddar: (2011) http:\/\/beru.univ-brest.fr\/singhoff\/cheddar\/"},{"key":"328_CR9","unstructured":"Wainer, G.A.: Discrete-Event Modeling and Simulation: A Practitioner\u2019s Approach: CRC, Boca Raton (2009)"},{"key":"328_CR10","doi-asserted-by":"crossref","unstructured":"Fritzson, P., Engelson, V.: Modelica\u2013a unified object-oriented language for system modeling and simulation. In: ECOOP\u201998\u2013Object-Oriented Programming, p. 67. Springer, Berlin (1998)","DOI":"10.1007\/BFb0054087"},{"key":"328_CR11","doi-asserted-by":"crossref","unstructured":"Schamai, W., Fritzson, P., Paredis, C., Pop, A.: Towards unified system modeling and simulation with ModelicaML: modeling of executable behavior using graphical notations. Presented at the 7th International Modelica Conference. Como, Italy (2009)","DOI":"10.3384\/ecp09430081"},{"key":"328_CR12","unstructured":"Mooney, J., Sarjoughian, H.: A framework for executable UML models. Presented at the Proceedings of the 2009 Spring Simulation Multiconference. San Diego, California (2009)"},{"key":"328_CR13","doi-asserted-by":"crossref","unstructured":"Kruse, P.M., Wegener, J., Wappler, S.: A highly configurable test system for evolutionary black-box testing of embedded systems. Presented at the Proceedings of the 11th Annual conference on Genetic and evolutionary computation. Montreal, Canada (2009)","DOI":"10.1145\/1569901.1570108"},{"key":"328_CR14","doi-asserted-by":"crossref","unstructured":"Lindlar, F., Windisch, A., Wegener, J.: Integrating Model-Based Testing with Evolutionary Functional Testing. Presented at the Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops (2010)","DOI":"10.1109\/ICSTW.2010.10"},{"key":"328_CR15","doi-asserted-by":"crossref","unstructured":"Lindlar, F., Windisch, A.: A search-based approach to functional hardware-in-the-loop testing. Presented at the Proceedings of the 2nd International Symposium on Search Based, Software Engineering (2010)","DOI":"10.1109\/SSBSE.2010.22"},{"key":"328_CR16","doi-asserted-by":"crossref","first-page":"1163","DOI":"10.1016\/j.jss.2007.08.026","volume":"81","author":"M Short","year":"2008","unstructured":"Short, M., Pont, M.J.: Assessment of high-integrity embedded automotive control systems using hardware in the loop simulation. J. Syst. Softw. 81, 1163\u20131183 (2008)","journal-title":"J. Syst. Softw."},{"key":"328_CR17","doi-asserted-by":"crossref","unstructured":"Francis, G., Burgos, R., Rodriguez, P., Wang, F., Boroyevich, D., Liu, R. Monti, A.: Virtual Prototyping of Universal Control Architecture Systems by means of Processor in the Loop Technology. Presented at the Twenty Second Annual IEEE Applied Power Electronics Conference, APEC 2007 (2007)","DOI":"10.1109\/APEX.2007.357491"},{"key":"328_CR18","unstructured":"Simulink. http:\/\/www.mathworks.se\/products\/simulink\/"},{"key":"328_CR19","unstructured":"Mason. http:\/\/cs.gmu.edu\/eclab\/projects\/mason\/"},{"key":"328_CR20","unstructured":"SimJava. http:\/\/www.dcs.ed.ac.uk\/home\/hase\/simjava\/"},{"key":"328_CR21","unstructured":"Kishi, T., Noda, N.: Aspect-oriented context modeling for embedded systems. Aspect-Oriented Requirements Engineering and Architecture Design, Presented at the Workshop on Early Aspects (2004)"},{"key":"328_CR22","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1016\/j.scico.2008.05.006","volume":"73","author":"G Karsai","year":"2008","unstructured":"Karsai, G., Neema, S., Sharp, D.: Model-driven architecture for embedded software: a synopsis and an example. Sci. Comput. Progr. 73, 26\u201338 (2008)","journal-title":"Sci. Comput. Progr."},{"key":"328_CR23","unstructured":"Choi, K.S., Jung, S.C., Kim, H.J., Bae, D.H., Lee, D.H.: UML-based Modeling and Simulation Method for Mission-Critical Real-Time Embedded System Development. Presented at the IASTED International Conference Proceedings (2006)"},{"key":"328_CR24","unstructured":"Kreiner, C., Steger, C., Weiss, R.: Improvement of control software for automatic logistic systems using executable environment models. Presented at the EUROMICRO \u201998: Proceedings of the 24th Conference on EUROMICRO, 1998"},{"key":"328_CR25","doi-asserted-by":"crossref","unstructured":"Burmeister, C.: Real-time environment modeling. In: IEEE (ed.) IEEE Workshop on Real-Time Applications, pp. 142\u2013146. New York (1993)","DOI":"10.1109\/RTA.1993.263099"},{"key":"328_CR26","doi-asserted-by":"crossref","unstructured":"Ubayashi, N., Seto, T., Kanagawa, H., Taniguchi, S., Yoshida, J., Sumi, T., Hirayama, M.: A context analysis method for constructing reliable embedded systems. In: Proceedings of the International Workshop on Models in Software Engineering, Leipzig, pp. 57\u201362 (2008)","DOI":"10.1145\/1370731.1370745"},{"key":"328_CR27","doi-asserted-by":"crossref","unstructured":"Pettit IV, R.G., Street, J.A.: Lessons learned applying UML in the design of mission critical software. In: UML: satellite activities. Lecture Notes in Computer Science. Springer, Berlin, pp. 129\u2013137 (2004)","DOI":"10.1007\/978-3-540-31797-5_14"},{"key":"328_CR28","doi-asserted-by":"crossref","unstructured":"Axelsson, J.: Unified modeling of real-time control systems and their physical environments using UML. Presented at the Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS \u201901) (2001)","DOI":"10.1109\/ECBS.2001.922399"},{"key":"328_CR29","volume-title":"Designing Concurrent. Distributed and Real-Time Applications with UML","author":"H Gomaa","year":"2000","unstructured":"Gomaa, H.: Designing Concurrent. Distributed and Real-Time Applications with UML. Addison-Wesley Educational Publishers Inc, Boston (2000)"},{"key":"328_CR30","volume-title":"A Practical Guide to SysML: The Systems Modeling Language","author":"S Friedenthal","year":"2008","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Elsevier, Amsterdam (2008)"},{"key":"328_CR31","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1016\/j.infsof.2006.03.005","volume":"48","author":"M Auguston","year":"2006","unstructured":"Auguston, M., Michael, J.B., Shing, M.: Environment behavior models for automation of testing and assessment of system safety. Inf. Softw. Technol. 48, 971\u2013980 (2006)","journal-title":"Inf. Softw. Technol."},{"key":"328_CR32","unstructured":"Heisel, M., Hatebur, D., Santen, T., Seifert, D.: Testing against requirements using UML environment models. In: Fachgruppentreffen Requirements Engineering und Test, Analyse & Verifikation, pp. 28\u201331 (2008)"},{"key":"328_CR33","doi-asserted-by":"crossref","unstructured":"Adjir, N., Saqui-Sannes, P., Rahmouni, K.M.: Testing real-time systems using TINA. In: Testing of software and communication systems. Lecture Notes in Computer Science. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-05031-2_1"},{"key":"328_CR34","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using Uppaal. In: Formal Approaches to Software Testing. Lecture Notes in Computer Science, Springer, Berlin (2005)","DOI":"10.1007\/978-3-540-31848-4_6"},{"key":"328_CR35","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":"328_CR36","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B., Skou, A.: Testing real-time embedded software using UPPAAL-TRON: an industrial case study. In: Proceedings of the 5th ACM International Conference on Embedded Software, pp. 299\u2013306 (2005)","DOI":"10.1145\/1086228.1086283"},{"key":"328_CR37","doi-asserted-by":"crossref","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 Syst. Design 34, 238\u2013304 (2009)","journal-title":"Formal Methods Syst. Design"},{"key":"328_CR38","doi-asserted-by":"crossref","unstructured":"Du Bousquet, L., Ouabdesselam, F., Richier, J.L., Zuanon, N.: Lutess: a specification-driven testing environment for synchronous software. Presented at the ICSE \u201999: Proceedings of the 21st International Conference on Software Engineering, Los Angeles (1999)","DOI":"10.1145\/302405.302634"},{"key":"328_CR39","doi-asserted-by":"crossref","unstructured":"Peleska, J., Lapschies, F., Vorobev, E., Loeding, H., Smuda, P., Schmid, H., Zahlten, C.: A real-world benchmark model for testing concurrent real-time systems in the automotive domain. In: Testing Software and Systems. Springer, Berlin, pp. 146\u2013161 (2011)","DOI":"10.1007\/978-3-642-24580-0_11"},{"key":"328_CR40","unstructured":"Peleska, J., Vorobev, E., Lapschies, F., Zahlten, C.: Automated Model-Based Testing with RT-Tester, University of Bremen (2011)"},{"key":"328_CR41","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K.G., Li, S., Nielsen, B.: Timed testing under partial observability. In: International Conference on Software Testing Verification and Validation, ICST\u201909, pp. 61\u201370 (2009)","DOI":"10.1109\/ICST.2009.38"},{"key":"328_CR42","unstructured":"MaTeLo Tool. http:\/\/www.all4tec.net\/index.php\/All4tec\/matelo-product.html"},{"key":"328_CR43","doi-asserted-by":"crossref","unstructured":"Iqbal, M.Z., Arcuri, A., Briand, L.: Empirical investigation of search algorithms for environment model-based testing of real-time embedded software. In: International Symposium on Software Testing and Analysis (ISSTA) (2012)","DOI":"10.1145\/2338965.2336777"},{"key":"328_CR44","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Iqbal, M., Briand, L.: Black-Box system testing of real-time embedded systems using random and search-based testing. In: Testing Software and Systems, pp. 95\u2013110. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16573-3_8"},{"key":"328_CR45","doi-asserted-by":"crossref","unstructured":"Iqbal, M.Z., Arcuri, A., Briand, L.: Combining search-based and adaptive random testing strategies for environment model-based testing of real-time embedded systems. In: Symposium on Search-based, Software Engineering (2012)","DOI":"10.1007\/978-3-642-33119-0_11"},{"key":"328_CR46","doi-asserted-by":"crossref","unstructured":"Pilitowski, R., Derezi\u00f1ska, A.: Code generation and execution framework for UML 2.0 classes and state machines. In: Innovations and Advanced Techniques in Computer and Information Sciences and Engineering, pp. 421\u2013427. Springer, Netherlands (2007)","DOI":"10.1007\/978-1-4020-6268-1_75"},{"key":"328_CR47","doi-asserted-by":"crossref","unstructured":"Chauvel, F., J\u00e9z\u00e9quel, J.-M.: Code generation from UML models with semantic variation points. In: Model Driven Engineering Languages and Systems, pp. 54\u201368. Springer, Berlin (2005)","DOI":"10.1007\/11557432_5"},{"key":"328_CR48","unstructured":"SmartState: SmartState\u2013UML statemachine code generation tool (2011). http:\/\/www.smartstatestudio.com\/"},{"key":"328_CR49","unstructured":"IBM: IBM Rational Rhapsody (2011). http:\/\/www.ibm.com\/software\/awdtools\/rhapsody\/"},{"key":"328_CR50","doi-asserted-by":"crossref","unstructured":"Samek, M.: Practical UML statecharts in C\/C++: event-driven programming for embedded systems: Newnes (2009)","DOI":"10.1201\/b16463"},{"key":"328_CR51","unstructured":"Ferreira, L., Rubira, C.: The reflective state pattern. Presented at the Proceedings of the Pattern Languages of Program Design, Monticello, IL, USA (1998)"},{"key":"328_CR52","doi-asserted-by":"crossref","unstructured":"Chin, B., Millstein, T.: An extensible state machine pattern for interactive applications. In: ECOOP\u2013Object-Oriented Programming, pp. 566\u2013591. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-70592-5_24"},{"key":"328_CR53","unstructured":"Holt, N., Anda, B., Asskildt, K., Briand, L., Endresen, J., Fr\u00f8ystein, S.: Experiences with precise state modeling in an industrial safety critical system. Presented at the Critical Systems Development Using Modeling Lanuguages, CSDUML\u201906 (2006)"},{"key":"328_CR54","unstructured":"Palfinger, G.: State Action Mapper. Presented at the 4th Pattern Languages of Programming. PLoP), USA (1997)"},{"key":"328_CR55","first-page":"83","volume":"6","author":"IA Niaz","year":"2005","unstructured":"Niaz, I.A., Tanaka, J.: An object-oriented approach to generate Java code from UML Statecharts. Int. J. Comput. Inf. Sci. 6, 83\u201398 (2005)","journal-title":"Int. J. Comput. Inf. Sci."},{"key":"328_CR56","doi-asserted-by":"crossref","unstructured":"Quadri, I.R., Meftali, S., Dekeyser, J.L.: Designing dynamically reconfigurable SoCs: From UML MARTE models to automatic code generation. In: Conference on design and architectures for signal and image processing (DASIP), pp. 68\u201375 (2010)","DOI":"10.1109\/DASIP.2010.5706248"},{"key":"328_CR57","doi-asserted-by":"crossref","unstructured":"Rodrigues, W., Guyomarc\u2019h, F., Dekeyser, J.L.: An MDE approach for automatic code generation from UML\/MARTE to OpenCL. Comput. Sci. Eng. (2012)","DOI":"10.1109\/MCSE.2012.35"},{"key":"328_CR58","unstructured":"Piel \u00c9., Atitallah R.B., Marquet P., Meftali S., Niar S., Etien A., Dekeyser J.L., Boulet P., Europe I.L.N.: Gaspard2: from MARTE to SystemC simulation. In: Modeling and Analysis of Real-Time and Embedded Systems with the MARTE UML profile DATE, vol. 8, p. 65 (2008)"},{"key":"328_CR59","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s11334-009-0105-4","volume":"6","author":"P Pe\u00f1il","year":"2010","unstructured":"Pe\u00f1il, P., Medina, J., Posadas, H., Villar, E.: Generating heterogeneous executable specifications in SystemC from UML\/MARTE models. Innov. Syst. Softw. Eng. 6, 65\u201371 (2010)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"328_CR60","doi-asserted-by":"crossref","unstructured":"Vidal, J., De Lamotte, F., Gogniat, G., Soulard, P., Diguet, J. P.: A co-design approach for embedded system modeling and code generation with UML and MARTE. In: Design, Automation and Test in Europe Conference and Exhibition (DATE \u201909), pp. 226\u2013231 (2009)","DOI":"10.1109\/DATE.2009.5090662"},{"key":"328_CR61","doi-asserted-by":"crossref","unstructured":"Mraidha, C., Tanguy, Y., Jouvray, C., Terrier, F., G\u00e9rard, S.: An execution framework for MARTE-based models. In: 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 222\u2013227 (2008)","DOI":"10.1109\/ICECCS.2008.37"},{"key":"328_CR62","doi-asserted-by":"crossref","unstructured":"Yu, H., Talpin, J.P., Besnard, L., Gautier, T., Marchand, H., Le Guernic, P.: Polychronous controller synthesis from MARTE CCSL timing specifications. In: 9th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 21\u201330 (2011)","DOI":"10.1109\/MEMCOD.2011.5970507"},{"key":"328_CR63","doi-asserted-by":"crossref","unstructured":"Selic, B.: A systematic approach to domain-specific language design using UML. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time, Distributed Computing, 2007. ISORC\u201907, pp. 2\u20139 (2007)","DOI":"10.1109\/ISORC.2007.10"},{"key":"328_CR64","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process","author":"C Larman","year":"2001","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process. Prentice Hall PTR, Upper Saddle River (2001)"},{"key":"328_CR65","unstructured":"OMG: Concrete Syntax for UML Action Language (Action Language for Foundational UML\u2013ALF), Version 1.0\u2013Beta 1 (2010). http:\/\/www.omg.org\/spec\/ALF\/"},{"key":"328_CR66","unstructured":"Simulink Coder. http:\/\/www.mathworks.se\/products\/simulink-coder\/index.html"},{"key":"328_CR67","doi-asserted-by":"crossref","unstructured":"Musa, J.D.: The operational profile in software reliability engineering: an overview. Presented at the Third International Symposium on Software, Reliability Engineering (1992)","DOI":"10.1109\/ISSRE.1992.285850"},{"key":"328_CR68","unstructured":"Oldevik, J.: MOFScript user guide. Version 0.6 (MOFScript v 1.1. 11) (2006)"},{"key":"328_CR69","volume-title":"Object-Oriented Software Engineering Using UML, Patterns, and Java","author":"B Bruegge","year":"2009","unstructured":"Bruegge, B., Dutoit, A.: Object-Oriented Software Engineering Using UML, Patterns, and Java. Prentice Hall, Upper Saddle River (2009)"},{"key":"328_CR70","unstructured":"Sun Java Real-Time System. http:\/\/java.sun.com\/javase\/technologies\/realtime\/index.jsp . Accessed on 09\/02\/2012"},{"key":"328_CR71","unstructured":"SUSE Linux Enterprise Real Time Extension. http:\/\/www.novell.com\/products\/realtime\/ . Accessed on 09\/02\/2012"},{"key":"328_CR72","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P McMinn","year":"2004","unstructured":"McMinn, P.: Search based software test data generation: a survey. Softw. Test. Verif. Reliab. 14, 105\u2013156 (2004)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"328_CR73","doi-asserted-by":"crossref","unstructured":"Ali, S., Iqbal, M.Z., Arcuri, A., Briand, L.: A Search-based OCL constraint solver for model-based test data generation. Presented at the 11th International Conference on Quality Software (2011)","DOI":"10.1109\/QSIC.2011.17"},{"key":"328_CR74","doi-asserted-by":"crossref","DOI":"10.1002\/9781118181034","volume-title":"Case Study Research in Software Engineering: Guidelines and Examples","author":"P Runeson","year":"2012","unstructured":"Runeson, P., Rainer, A., H\u00f6st, M., Regnell, B.: Case Study Research in Software Engineering: Guidelines and Examples. Wiley, New York (2012)"},{"issue":"2","key":"328_CR75","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s10664-008-9102-8","volume":"14","author":"P Runeson","year":"2009","unstructured":"Runeson, P., H\u00f6st, M.: Guidelines for conducting and reporting case study research in software engineering. Empir. Softw. Eng. 14(2), 131\u2013164 (2009)","journal-title":"Empir. Softw. Eng."},{"key":"328_CR76","doi-asserted-by":"crossref","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. J. Syst. Softw. 81, 286\u2013304 (2008)","journal-title":"J. Syst. Softw."},{"key":"328_CR77","doi-asserted-by":"crossref","unstructured":"Iqbal, M., Ali, S., Yue, T., Briand, L.: Experiences of applying UML\/MARTE on three industrial projects. In: Model driven engineering languages and systems, pp. 642\u2013658 (2012)","DOI":"10.1007\/978-3-642-33666-9_41"},{"key":"328_CR78","doi-asserted-by":"crossref","unstructured":"Fiorentini, C., Momigliano, A., Ornaghi, M., Poernomo, I.: A constructive approach to testing model transformations. In: Theory and Practice of Model Transformations, pp. 77\u201392 (2010)","DOI":"10.1007\/978-3-642-13688-7_6"},{"key":"328_CR79","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1109\/TSE.2006.83","volume":"32","author":"J Andrews","year":"2006","unstructured":"Andrews, J., Briand, L., Labiche, Y., Namin, A.: Using mutation analysis for assessing and comparing testing coverage criteria. IEEE Trans. Softw. Eng. 32, 608\u2013624 (2006)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0328-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0328-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0328-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T12:14:04Z","timestamp":1562847244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0328-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,2]]},"references-count":79,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["328"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0328-6","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,2]]}}}