{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:06:44Z","timestamp":1748664404186,"version":"3.41.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319226880"},{"type":"electronic","value":"9783319226897"}],"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-22689-7_11","type":"book-chapter","created":{"date-parts":[[2015,8,31]],"date-time":"2015-08-31T08:25:49Z","timestamp":1441009549000},"page":"149-160","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Test Data Generation Targeting Hybrid Coverage Criteria"],"prefix":"10.1007","author":[{"given":"Ahmed","family":"El-Serafy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cherif","family":"Salama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ayman","family":"Wahba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,1]]},"reference":[{"key":"11_CR1","volume-title":"The Art of Software Testing","author":"GJ Myers","year":"2011","unstructured":"Myers, G.J.: The Art of Software Testing, 3rd edn. Wiley, New York (2011)","edition":"3"},{"key":"11_CR2","volume-title":"Software Testing Techniques","author":"B Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Thomson Computer Press, London (1990)","edition":"2"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Suman, P.V., Muske, T., Bokil, P., Shrotri, U., Venkatesh, R.: Masking boundary value coverage: effectiveness and efficiency. In: 5th International Academic and Industrial Conference on Testing - Practice and Research Techniques, Windsor, UK (2010)","DOI":"10.1007\/978-3-642-15585-7_4"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Pandita, R., Xie, T., Tillmann, N., DeHalleux, J.: Guided test generation for coverage criteria. In: ICSM (2010)","DOI":"10.1109\/ICSM.2010.5609565"},{"key":"11_CR5","unstructured":"DO-178C: Software Considerations in Airborne Systems and Equipment Certification. RTCA, Washington, USA (2012)"},{"key":"11_CR6","unstructured":"ISO 26262: Road vehicles - Functional safety (2011)"},{"key":"11_CR7","unstructured":"IEC 61508: Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-related Systems (1997)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Awedikian, Z., Ayari, K., Antoniol, G.: MC\/DC automatic test input data generation. In: GECCO, pp. 1657\u20131664 (2009)","DOI":"10.1145\/1569901.1570123"},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","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. Verification Reliab. 14(2), 105\u2013156 (2004)","journal-title":"Softw. Test. Verification Reliab."},{"key":"11_CR10","unstructured":"ISTQB Standard Glossary of Terms used in Software testing, v.2.4. International Software Testing Qualifications Board (2014)"},{"key":"11_CR11","unstructured":"Hayhurst, K.J., Veerhusen, D.S., Chilenski, J.J., Rierson, L.K.: A Practical Tutorial on Modified Condition\/Decision Coverage Report. NASA (2001)"},{"key":"11_CR12","unstructured":"Neate, B.: Boundary value analysis. Swansea University (2006). http:\/\/www.cs.swan.ac.uk\/~csmarkus\/CS339\/dissertations\/NeateB.pdf. Accessed 18 April 2015"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Kosmatov, N., Legeard, B., Peureux, F., Utting, M.: Boundary coverage criteria for test generation from formal models. In: ISSRE, pp. 139\u2013150 (2004)","DOI":"10.1109\/ISSRE.2004.12"},{"issue":"5","key":"11_CR14","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1109\/41.538609","volume":"43","author":"KF Man","year":"1996","unstructured":"Man, K.F., Tang, K.S., Kwong, S.: Genetic algorithms: concepts and applications. IEEE Trans. Industr. Electron. 43(5), 519\u2013534 (1996)","journal-title":"IEEE Trans. Industr. Electron."},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-25231-0_1","volume-title":"Empirical Software Engineering and Verification","author":"M Harman","year":"2012","unstructured":"Harman, M., McMinn, P., de Souza, J.T., Yoo, S.: Search based software engineering: techniques, taxonomy, tutorial. In: Meyer, B., Nordio, M. (eds.) Empirical Software Engineering and Verification. LNCS, vol. 7007, pp. 1\u201359. Springer, Heidelberg (2012)"},{"issue":"10","key":"11_CR16","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/MC.2011.263","volume":"44","author":"M Harman","year":"2011","unstructured":"Harman, M.: Software engineering meets evolutionary computation. IEEE Comput. 44(10), 31\u201339 (2011)","journal-title":"IEEE Comput."},{"key":"11_CR17","unstructured":"An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion. Office of Aviation Research, Washington, USA (2001)"},{"key":"11_CR18","unstructured":"AForge.Net Library, v.2.2.5 (2013). http:\/\/www.aforgenet.com\/framework\/. Accessed 18 April 2015"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1016\/j.knosys.2014.10.017","volume":"74","author":"G Abaei","year":"2015","unstructured":"Abaei, G., Selamat, A., Fujita, H.: An empirical study based on semi-supervised hybrid self-organizing map for software fault prediction. Knowl. Based Syst. 74, 28\u201339 (2015)","journal-title":"Knowl. Based Syst."},{"issue":"1","key":"11_CR20","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.knosys.2010.07.008","volume":"24","author":"J Baumeister","year":"2011","unstructured":"Baumeister, J.: Advanced empirical testing. Knowl. Based Syst. 24(1), 83\u201394 (2011)","journal-title":"Knowl. Based Syst."},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: PLDI, pp. 213\u2013223 (2005)","DOI":"10.1145\/1064978.1065036"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: ESEC\/FSE, pp. 263\u2013272 (2005)","DOI":"10.1145\/1095430.1081750"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex\u2013white box test generation for .NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol. 4966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"key":"11_CR24","unstructured":"Sharma, A.: A critical review of dynamic taint analysis and forward symbolic execution. Technical report, NUS (2012)"},{"key":"11_CR25","unstructured":"Baresel, A., Sthamer, H., Schmidt, M.: Fitness function design to improve evolutionary structural testing. In: Genetic and Evolutionary Computation Conference, pp. 1329\u20131336 (2002)"}],"container-title":["Communications in Computer and Information Science","Intelligent Software Methodologies, Tools and Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22689-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T09:23:28Z","timestamp":1748597008000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22689-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319226880","9783319226897"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22689-7_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"1 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}