{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:51Z","timestamp":1763468091023,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,7,15]],"date-time":"2012-07-15T00:00:00Z","timestamp":1342310400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,7,15]]},"DOI":"10.1145\/2338965.2336777","type":"proceedings-article","created":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T14:41:14Z","timestamp":1343313674000},"page":"199-209","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Empirical investigation of search algorithms for environment model-based testing of real-time embedded software"],"prefix":"10.1145","author":[{"given":"Muhammad Zohaib","family":"Iqbal","sequence":"first","affiliation":[{"name":"Simula Research Laboratory, Norway \/ University of Oslo, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Arcuri","sequence":"additional","affiliation":[{"name":"Simula Research Laboratory, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg \/ Simula Research Laboratory, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"95","article-title":"Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing. in Testing Software and Systems. vol. 6435. A. Petrenko, et al., Eds., ed","author":"Arcuri A.","year":"2010","unstructured":"Arcuri , A. , Iqbal , M. , and Briand , L. 2010 . Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing. in Testing Software and Systems. vol. 6435. A. Petrenko, et al., Eds., ed : Springer Berlin \/ Heidelberg , 95 - 110 . Arcuri, A., Iqbal, M., and Briand, L. 2010. Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing. in Testing Software and Systems. vol. 6435. A. Petrenko, et al., Eds., ed: Springer Berlin \/ Heidelberg, 95-110.","journal-title":"Springer Berlin \/ Heidelberg"},{"key":"e_1_3_2_1_2_1","unstructured":"Iqbal M. Z. Arcuri A. and Briand L. 2011. Automated System Testing of Real-Time Embedded Systems Based on Environment Models. Simula Research Laboratory Technical Report (2011-19).  Iqbal M. Z. Arcuri A. and Briand L. 2011. Automated System Testing of Real-Time Embedded Systems Based on Environment Models . Simula Research Laboratory Technical Report (2011-19)."},{"key":"e_1_3_2_1_3_1","unstructured":"OMG. 2010 Unified Modeling Language Superstructure Version 2.3 http:\/\/www.omg.org\/spec\/UML\/2.3\/.  OMG. 2010 Unified Modeling Language Superstructure Version 2.3 http:\/\/www.omg.org\/spec\/UML\/2.3\/."},{"key":"e_1_3_2_1_4_1","unstructured":"OMG. 2009 Modeling and Analysis of Real-time and Embedded systems (MARTE) Version 1.0 http:\/\/www.omg.org\/spec\/MARTE\/1.0\/.  OMG. 2009 Modeling and Analysis of Real-time and Embedded systems (MARTE) Version 1.0 http:\/\/www.omg.org\/spec\/MARTE\/1.0\/."},{"key":"e_1_3_2_1_5_1","first-page":"286","article-title":"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. vol. 6394. D. Petriu, et al., Eds., ed","author":"Iqbal M. Z.","year":"2010","unstructured":"Iqbal , M. Z. , Arcuri , A. , and Briand , L. 2010 . 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. vol. 6394. D. Petriu, et al., Eds., ed : Springer Berlin \/ Heidelberg , 286 - 300 . Iqbal, M. Z., Arcuri, A., and Briand, L. 2010. 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. vol. 6394. D. Petriu, et al., Eds., ed: Springer Berlin \/ Heidelberg, 286-300.","journal-title":"Springer Berlin \/ Heidelberg"},{"key":"e_1_3_2_1_6_1","unstructured":"Iqbal M. Z. Arcuri A. and Briand L. 2011. Code Generation from UML\/MARTE\/OCL Environment Models to Support Automated System Testing of Real-Time Embedded Software. Simula Research Laboratory Technical Report (2011-04).  Iqbal M. Z. Arcuri A. and Briand L. 2011. Code Generation from UML\/MARTE\/OCL Environment Models to Support Automated System Testing of Real-Time Embedded Software . Simula Research Laboratory Technical Report (2011-04)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.121"},{"key":"e_1_3_2_1_8_1","unstructured":"Harman M. Mansouri S. and Zhang Y. 2009. Search based software engineering: A comprehensive analysis and review of trends techniques and applications. Department of Computer Science King's College London TR-09-03.  Harman M. Mansouri S. and Zhang Y. 2009. Search based software engineering: A comprehensive analysis and review of trends techniques and applications . Department of Computer Science King's College London TR-09-03."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.52"},{"key":"#cr-split#-e_1_3_2_1_10_1.1","doi-asserted-by":"crossref","unstructured":"Arcuri A. 2011. It really does matter how you normalize the branch distance in search-based software testing. Software Testing Verification and Reliability doi:10.1002\/stvr.457. 10.1002\/stvr.457","DOI":"10.1109\/ICST.2010.17"},{"key":"#cr-split#-e_1_3_2_1_10_1.2","doi-asserted-by":"crossref","unstructured":"Arcuri A. 2011. It really does matter how you normalize the branch distance in search-based software testing. Software Testing Verification and Reliability doi:10.1002\/stvr.457.","DOI":"10.1109\/ICST.2010.17"},{"key":"e_1_3_2_1_11_1","unstructured":"Broekman B. M. and Notenboom E. 2003. Testing Embedded Software: Addison-Wesley Co. Inc.   Broekman B. M. and Notenboom E. 2003. Testing Embedded Software : Addison-Wesley Co. Inc."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225019"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0065-1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0094-1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Mucke T. and Huhn M. 2004. Generation of optimized testsuites for UML statecharts with time. in Testing of Communicating Systems. vol. 2978 ed: Springer Berlin \/ Heidelberg 128.  Mucke T. and Huhn M. 2004. Generation of optimized testsuites for UML statecharts with time. in Testing of Communicating Systems . vol. 2978 ed: Springer Berlin \/ Heidelberg 128.","DOI":"10.1007\/978-3-540-24704-3_9"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.05.009"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Auguston M. B M. J. and Shing M. 2006. Environment behavior models for automation of testing and assessment of system safety. Information and Software Technology. vol. 48 971-980.  Auguston M. B M. J. and Shing M. 2006. Environment behavior models for automation of testing and assessment of system safety. Information and Software Technology . vol. 48 971-980.","DOI":"10.1016\/j.infsof.2006.03.005"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-006-9003-9"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v14:2"},{"key":"e_1_3_2_1_20_1","first-page":"28","article-title":"Testing Against Requirements Using UML Environment Models","author":"Heisel M.","year":"2008","unstructured":"Heisel , M. , Hatebur , D. , Santen , T. , and Seifert , D. 2008 . Testing Against Requirements Using UML Environment Models . in Fachgruppentreffen Requirements Engineering und Test, Analyse & Verifikation , 28 - 31 . Heisel, M., Hatebur, D., Santen, T., and Seifert, D. 2008. Testing Against Requirements Using UML Environment Models. in Fachgruppentreffen Requirements Engineering und Test, Analyse & Verifikation, 28-31.","journal-title":"Fachgruppentreffen Requirements Engineering und Test, Analyse & Verifikation"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05031-2_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31848-4_6"},{"volume-title":"Testing Software and Systems.","author":"Peleska J.","key":"e_1_3_2_1_23_1","unstructured":"Peleska , J. , Lapschies , F. , Vorobev , E. , Loeding , H. , Smuda , P. , Schmid , H. , and C., Z. 2011. A real-world benchmark model for testing concurrent real-time systems in the automotive domain . in Testing Software and Systems. vol. 7019 , ed: Springer Berlin Heidelberg , 146-161. Peleska, J., Lapschies, F., Vorobev, E., Loeding, H., Smuda, P., Schmid, H., and C., Z. 2011. A real-world benchmark model for testing concurrent real-time systems in the automotive domain. in Testing Software and Systems. vol. 7019, ed: Springer Berlin Heidelberg, 146-161."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.32"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2011.17"},{"key":"e_1_3_2_1_26_1","unstructured":"Deb K. 2001. Multi-Objective Optimization Using Evolutionary Algorithms: John Wiley and Sons.   Deb K. 2001. Multi-Objective Optimization Using Evolutionary Algorithms : John Wiley and Sons."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.83"},{"volume-title":"On Parameter Tuning in Search Based Software Engineering. in International Symposium on Search Based Software Engineering (SSBSE).","author":"Arcuri A.","key":"e_1_3_2_1_28_1","unstructured":"Arcuri , A. and Fraser , G . 2011 . On Parameter Tuning in Search Based Software Engineering. in International Symposium on Search Based Software Engineering (SSBSE). Arcuri, A. and Fraser, G. 2011. On Parameter Tuning in Search Based Software Engineering. in International Symposium on Search Based Software Engineering (SSBSE)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265732"}],"event":{"name":"ISSTA '12: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Minneapolis MN USA","acronym":"ISSTA '12"},"container-title":["Proceedings of the 2012 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2338965.2336777","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2338965.2336777","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:08Z","timestamp":1750238468000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2338965.2336777"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,15]]},"references-count":31,"alternative-id":["10.1145\/2338965.2336777","10.1145\/2338965"],"URL":"https:\/\/doi.org\/10.1145\/2338965.2336777","relation":{},"subject":[],"published":{"date-parts":[[2012,7,15]]},"assertion":[{"value":"2012-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}