{"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":1748664404010,"version":"3.41.0"},"publisher-location":"Cham","reference-count":26,"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_12","type":"book-chapter","created":{"date-parts":[[2015,8,31]],"date-time":"2015-08-31T08:25:49Z","timestamp":1441009549000},"page":"161-172","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Optimization of Generated Test Data for MC\/DC"],"prefix":"10.1007","author":[{"given":"Ghada","family":"El-Sayed","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":"12_CR1","doi-asserted-by":"crossref","DOI":"10.1002\/9781119202486","volume-title":"The Art of Software Testing","author":"GJ Myers","year":"2012","unstructured":"Myers, G.J., Badgett, T., Sandler, C.: The Art of Software Testing, 3rd edn. Wiley, Hoboken (2012)","edition":"3"},{"unstructured":"ISO 26262: Functional safety for road vehicles (2011)","key":"12_CR2"},{"unstructured":"DO-178C: Software Considerations in Airborne Systems and Equipment Certification. RTCA (2012)","key":"12_CR3"},{"doi-asserted-by":"crossref","unstructured":"Yang, Q., Li J.J., Weiss, D.: A survey of coverage based testing tools. In: International Workshop on Automation of Software Test, Shanghai, China (2006)","key":"12_CR4","DOI":"10.1145\/1138929.1138949"},{"issue":"2","key":"12_CR5","first-page":"1311","volume":"3","author":"P Maragathavalli","year":"2011","unstructured":"Maragathavalli, P., Anusha, M., Geethamalini, P., Priyadharsini, S.: Automatic test-data generation for modified condition\/decision coverage using genetic algorithm. Int. J. Eng. Sci. Technol. 3(2), 1311\u20131318 (2011)","journal-title":"Int. J. Eng. Sci. Technol."},{"key":"12_CR6","volume-title":"Evaluation of Structural Testing Effectiveness in Industrial Model-Driven Software Development","author":"M Sarabi","year":"2012","unstructured":"Sarabi, M.: Evaluation of Structural Testing Effectiveness in Industrial Model-Driven Software Development. Malardalen University, Sweden (2012)"},{"issue":"5","key":"12_CR7","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"JJ Chilenski","year":"1994","unstructured":"Chilenski, J.J., Miller, S.P.: Applicability of modified condition\/decision coverage to software testing. Softw. Eng. J. 9(5), 193\u2013200 (1994)","journal-title":"Softw. Eng. J."},{"key":"12_CR8","volume-title":"Software Testing and Analysis: Process, Principles and Techniques","author":"M Pezze","year":"2007","unstructured":"Pezze, M., Young, M.: Software Testing and Analysis: Process, Principles and Techniques. Wiley, Hoboken (2007)"},{"doi-asserted-by":"crossref","unstructured":"Tracey, N., Clark, J., Mander, K., McDermid, J.: An automated framework for structural test-data generation. In: International Conference on Automated Software Engineering, pp. 285\u2013288. IEEE Computer Society Press, Hawaii (1998)","key":"12_CR9","DOI":"10.1109\/ASE.1998.732680"},{"doi-asserted-by":"crossref","unstructured":"Maragathavalli, P.: Search-based software test data generation using evolutionary computation. Int. J. Comput. Sci. Inf. Technol. 3(1), 213\u2013233 (2011)","key":"12_CR10","DOI":"10.5121\/ijcsit.2011.3115"},{"doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: PLDI, pp. 213\u2013223 (2005)","key":"12_CR11","DOI":"10.1145\/1064978.1065036"},{"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)","key":"12_CR12","DOI":"10.1145\/1095430.1081750"},{"key":"12_CR13","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)"},{"issue":"7","key":"12_CR14","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J King","year":"1976","unstructured":"King, J.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"unstructured":"Seo, H.: A survey on dynamic symbolic execution for automatic test generation (2014). http:\/\/www.slideshare.net\/hunkim\/pqe-ver2-1. Accessed 18 April 2015","key":"12_CR15"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/j.tcs.2005.05.020","volume":"344","author":"M Dorigo","year":"2005","unstructured":"Dorigo, M., Blum, C.: Ant colony optimization theory: a survey. Theoret. Comput. Sci. 344, 243\u2013278 (2005)","journal-title":"Theoret. Comput. Sci."},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0377-2217(90)90001-R","volume":"46","author":"RW Eglese","year":"1990","unstructured":"Eglese, R.W.: Simulated annealing: a tool for operational research. Eur. J. Oper. Res. 46, 271\u2013281 (1990)","journal-title":"Eur. J. Oper. Res."},{"doi-asserted-by":"crossref","unstructured":"Bai, Q.: Analysis of particle swarm optimization algorithm. Comput. Inf. Sci. 3(1), 180\u2013184 (2010)","key":"12_CR18","DOI":"10.5539\/cis.v3n1p180"},{"key":"12_CR19","volume-title":"An Introduction to Genetic Algorithms","author":"M Melanie","year":"1999","unstructured":"Melanie, M.: An Introduction to Genetic Algorithms. MIT Press, Cambridge (1999)"},{"doi-asserted-by":"crossref","unstructured":"Awedikian, Z., Ayari, K., Antoniol, G.: MCDC automatic test input generation. In: 11th Annual Genetic and Evolutionary Computation Conference, GECCO 2009, pp. 1657\u20131664 (2009)","key":"12_CR20","DOI":"10.1145\/1569901.1570123"},{"issue":"1","key":"12_CR21","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1162\/evco.2006.14.1.41","volume":"14","author":"P McMinn","year":"2006","unstructured":"McMinn, P., Holcombe, M.: Evolutionary testing using an extended chaining approach. Evol. Comput. 14(1), 41\u201364 (2006)","journal-title":"Evol. Comput."},{"unstructured":"Bottaci, L.: A Genetic Algorithm Fitness Function for Mutation Testing (2001)","key":"12_CR22"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"Genetic and Evolutionary Computation - GECCO 2003","author":"L Bottaci","year":"2003","unstructured":"Bottaci, L.: Predicate expression cost functions to guide evolutionary search for test data. In: Cant\u00fa-Paz, E., Foster, J.A., Deb, K., Davis, L., Roy, R., O\u2019Reilly, U.-M., Beyer, H.-G., Kendall, G., et al. (eds.) GECCO 2003. LNCS, vol. 2724. Springer, Heidelberg (2003)"},{"unstructured":"AForge.Net Library, v.2.2.5 (2013). http:\/\/www.aforgenet.com\/framework\/. Accessed 18 April 2015","key":"12_CR24"},{"issue":"14","key":"12_CR25","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","volume":"43","author":"J Wegener","year":"2001","unstructured":"Wegener, J., Baresel, A., Sthamer, H.: Evolutionary test environment for automatic structural testing. Inf. Softw. Technol. 43(14), 841\u2013854 (2001)","journal-title":"Inf. Softw. Technol."},{"doi-asserted-by":"crossref","unstructured":"Poulding S., Vos Tanja E.J.: Sixth international workshop in search-based software testing: workshop summary. In: IEEE 6th International Conference on Software Testing, Verification and Validation Workshops (2013)","key":"12_CR26","DOI":"10.1109\/ICSTW.2013.68"}],"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_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T09:22:34Z","timestamp":1748596954000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22689-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319226880","9783319226897"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22689-7_12","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"}}]}}