{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:07:31Z","timestamp":1725602851481},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331183"},{"type":"electronic","value":"9783642331190"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33119-0_11","type":"book-chapter","created":{"date-parts":[[2012,9,7]],"date-time":"2012-09-07T11:50:13Z","timestamp":1347018613000},"page":"136-151","source":"Crossref","is-referenced-by-count":14,"title":["Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems"],"prefix":"10.1007","author":[{"given":"Muhammad Zohaib","family":"Iqbal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Arcuri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-05031-2_1","volume-title":"Testing of Software and Communication Systems","author":"N. Adjir","year":"2009","unstructured":"Adjir, N., De Saqui-Sannes, P., Rahmouni, K.M.: Testing Real-Time Systems Using TINA. In: N\u00fa\u00f1ez, M., Baker, P., Merayo, M.G. (eds.) TESTCOM 2009. LNCS, vol.\u00a05826, pp. 1\u201315. Springer, Heidelberg (2009)"},{"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. In: 11th International Conference on Quality Software, pp. 41\u201350. IEEE (2011)","key":"11_CR2","DOI":"10.1109\/QSIC.2011.17"},{"key":"11_CR3","doi-asserted-by":"publisher","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 Transactions on Software Engineering\u00a032, 608\u2013624 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/TSE.2010.46","volume":"37","author":"J.H. Andrews","year":"2011","unstructured":"Andrews, J.H., Menzies, T., Li, F.C.H.: Genetic algorithms for randomized unit testing. IEEE Transactions on Software Engineering\u00a037, 80\u201394 (2011)","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Arcuri, A., Briand, L.: A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering. In: 33rd International Conference on Software Engineering (ICSE), pp. 1\u201310 (2011)","key":"11_CR5","DOI":"10.1145\/1985793.1985795"},{"key":"11_CR6","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.\u00a06435, pp. 95\u2013110. Springer, Heidelberg (2010)"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1109\/TSE.2011.121","volume":"38","author":"A. Arcuri","year":"2012","unstructured":"Arcuri, A., Iqbal, M.Z., Briand, L.: Random Testing: Theoretical Results and Practical Implications. IEEE Transactions on Software Engineering\u00a038, 258\u2013277 (2012)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR8","doi-asserted-by":"publisher","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. Information and Software Technology\u00a048, 971\u2013980 (2006)","journal-title":"Information and Software Technology"},{"unstructured":"Broekman, B.M., Notenboom, E.: Testing Embedded Software. Addison-Wesley Co., Inc. (2003)","key":"11_CR9"},{"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. GI (2008)","key":"11_CR10"},{"unstructured":"Iqbal, M.Z., Arcuri, A., Briand, L.: Automated System Testing of Real-Time Embedded Systems Based on Environment Models. Simula Research Laboratory, Technical Report (2011-19) (2011)","key":"11_CR11"},{"unstructured":"Iqbal, M.Z., Arcuri, A., Briand, L.: 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) (2011)","key":"11_CR12"},{"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: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pp. 199\u2013209. ACM (2012)","key":"11_CR13","DOI":"10.1145\/2338965.2336777"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-642-16145-2_20","volume-title":"Model Driven Engineering Languages and Systems","author":"M.Z. Iqbal","year":"2010","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: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol.\u00a06394, pp. 286\u2013300. Springer, Heidelberg (2010)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Approaches to Software Testing","year":"2005","unstructured":"Grabowski, J., Nielsen, B. (eds.): FATES 2004. LNCS, vol.\u00a03395. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Lefticaru, R., Ipate, F.: Functional search-based testing from state machines. In: Proceedings of the International Conference on Software Testing, Verification, and Validation, pp. 525\u2013528. IEEE Computer Society (2008)","key":"11_CR16","DOI":"10.1109\/ICST.2008.32"},{"unstructured":"M\u00fchlenbein, H.: How genetic algorithms really work: I. mutation and hillclimbing. In: Parallel Problem Solving from Nature, vol.\u00a02, pp. 15\u201325 (1992)","key":"11_CR17"},{"unstructured":"OMG: Modeling and Analysis of Real-time and Embedded systems (MARTE), Version 1.0 (2009), \n                    \n                      http:\/\/www.omg.org\/spec\/MARTE\/1.0\/","key":"11_CR18"},{"unstructured":"OMG: Unified Modeling Language Superstructure, Version 2.3 (2010), \n                    \n                      http:\/\/www.omg.org\/spec\/UML\/2.3\/","key":"11_CR19"},{"doi-asserted-by":"crossref","unstructured":"Schneckenburger, C., Schweiggert, F.: Investigating the dimensionality problem of Adaptive Random Testing incorporating a local search technique. In: IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW 2008), pp. 241\u2013250 (2008)","key":"11_CR20","DOI":"10.1109\/ICSTW.2008.24"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1109\/TR.2009.2034288","volume":"58","author":"A.F. Tappenden","year":"2009","unstructured":"Tappenden, A.F., Miller, J.: A novel evolutionary approach for adaptive random testing. IEEE Transactions on Reliability\u00a058, 619\u2013633 (2009)","journal-title":"IEEE Transactions on Reliability"},{"key":"11_CR22","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. The Journal of Systems & Software\u00a081, 286\u2013304 (2008)","journal-title":"The Journal of Systems & Software"}],"container-title":["Lecture Notes in Computer Science","Search Based Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33119-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:00:03Z","timestamp":1558314003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33119-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331183","9783642331190"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33119-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}