{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:12:28Z","timestamp":1742947948388,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642237157"},{"type":"electronic","value":"9783642237164"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23716-4_19","type":"book-chapter","created":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T02:46:59Z","timestamp":1314240419000},"page":"204-218","source":"Crossref","is-referenced-by-count":6,"title":["Divide-by-Zero Exception Raising via Branch Coverage"],"prefix":"10.1007","author":[{"given":"Neelesh","family":"Bhattacharya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelilah","family":"Sakti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuliano","family":"Antoniol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yann-Ga\u00ebl","family":"Gu\u00e9h\u00e9neuc","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Pesant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Baresel, A.: Automatisierung von strukturtests mit evolutionren algorithmen. Diploma Thesis, Humboldt University, Berlin, Germany (2000)"},{"key":"19_CR2","unstructured":"Baresel, A., Sthamer, H., Schmidt, M.: Fitness function design to improve evolutionary structural testing. In: Proceedings of the Genetic and Evolutionary Computation Conference, pp. 1329\u20131336 (July 2002)"},{"key":"19_CR3","unstructured":"Chatterjee, R., Ryder, B.G.: Data-flow-based testing of object-oriented libraries. Tech. Rep. DCS-TR-382, Department of Computer Science, Rutgers University (1999)"},{"key":"19_CR4","volume-title":"Statistical power analysis for the behavioral sciences","author":"J. Cohen","year":"1988","unstructured":"Cohen, J.: Statistical power analysis for the behavioral sciences, 2nd edn. Lawrence Earlbaum Associates, Hillsdale (1988)","edition":"2"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Romano, D., Massimiliano Di Penta, G.A.: An approach for search based testing of null pointer exceptions. In: Proceedings of the Fourth International Conference on Software Testing, Verification and Validation, pp. 160\u2013169 (March 2011)","DOI":"10.1109\/ICST.2011.49"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-540-78917-8_11","volume-title":"Formal Methods and Testing","author":"M. Harman","year":"2008","unstructured":"Harman, M., Baresel, A., Binkley, D., Hierons, R.M., Hu, L., Korel, B., McMinn, P., Roper, M.: Testability transformation \u2013 program transformation to improve testability. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 320\u2013344. Springer, Heidelberg (2008)"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0164-1212(03)00057-8","volume":"72","author":"J.W. Jo","year":"2004","unstructured":"Jo, J.W., Chang, B.M., Yi, K., Choe, K.M.: An uncaught exception analysis for java. Journal of System Software\u00a072, 59\u201369 (2004), \n                    \n                      http:\/\/portal.acm.org\/citation.cfm?id=1005486.1005491","journal-title":"Journal of System Software"},{"issue":"14","key":"19_CR8","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","volume":"43","author":"A.B. Joachim Wegener","year":"2001","unstructured":"Joachim Wegener, A.B., Sthamer, H.: Evolutionary test environment for automatic structural testing. Information and Software Technology\u00a043(14), 841\u2013854 (2001)","journal-title":"Information and Software Technology"},{"issue":"5","key":"19_CR9","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1049\/sej.1996.0040","volume":"11","author":"B. Jones","year":"1996","unstructured":"Jones, B., Sthamer, H., Eyres, D.: Automatic structural testing using genetic algorithms. Software Engineering Journal\u00a011(5), 299\u2013306 (1996)","journal-title":"Software Engineering Journal"},{"issue":"4","key":"19_CR10","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1002\/stvr.4370020405","volume":"2","author":"B. Korel","year":"1992","unstructured":"Korel, B.: Dynamic method of software test data generation. Softw. Test, Verif. Reliab.\u00a02(4), 203\u2013213 (1992)","journal-title":"Softw. Test, Verif. Reliab."},{"issue":"2","key":"19_CR11","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. Software Testing Verification and Reliability\u00a014(2), 105\u2013156 (2004)","journal-title":"Software Testing Verification and Reliability"},{"issue":"3","key":"19_CR12","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1109\/TSE.1976.233818","volume":"2","author":"W. Miller","year":"1976","unstructured":"Miller, W., Spooner, D.L.: Automatic generation of floating-point test data. IEEE Transactions on Software Engineering\u00a02(3), 223\u2013226 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"19_CR13","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<205::AID-STVR186>3.0.CO;2-X","volume":"9","author":"E.S. Mresa","year":"1999","unstructured":"Mresa, E.S., Bottaci, L.: Efficiency of mutation operators and selective mutation strategies: An empirical study. Software Testing Verification and Reliability\u00a09(4), 205\u2013232 (1999)","journal-title":"Software Testing Verification and Reliability"},{"key":"19_CR14","volume-title":"Software Engineering: A Practitioner\u2019s Approach","author":"R.S. Pressman","year":"1992","unstructured":"Pressman, R.S.: Software Engineering: A Practitioner\u2019s Approach, 3rd edn. McGraw-Hill, New York (1992)","edition":"3"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-46423-9_5","volume-title":"Compiler Construction","author":"B.G. Ryder","year":"2000","unstructured":"Ryder, B.G., Smith, D.E., Kremer, U., Gordon, M.D., Shah, N.: A static study of java exceptions using JESP. In: Watt, D.A. (ed.) CC 2000. LNCS, vol.\u00a01781, pp. 67\u201381. Springer, Heidelberg (2000), \n                    \n                      http:\/\/portal.acm.org\/citation.cfm?id=647476.727763"},{"key":"19_CR16","unstructured":"Sakti, A., Gu\u00e9h\u00e9neuc, Y.G., Pesant, G.: Cp-sst: approche bas\u00e9e sur la programmation par contraintes pour le test structurel du logiciel. Septiti\u00e8mes Journ\u00e9es Francophones de Programmation par Contraintes (JFPC), 289\u2013298 (June 2011)"},{"key":"19_CR17","first-page":"336","volume-title":"ICSE 2004","author":"R.O. Saurabh Sinha","year":"2004","unstructured":"Saurabh Sinha, R.O., Harrold, M.J.: Automated support for development, maintenance, and testing in the presence of implicit control flow. In: ICSE 2004, pp. 336\u2013345. IEEE Computer Society Press, Washington, DC, USA (2004)"},{"issue":"1","key":"19_CR18","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9","volume":"30","author":"N. Tracey","year":"2000","unstructured":"Tracey, N., Clark, J.A., Mander, K., McDermid, J.A.: Automated test-data generation for exception conditions. Software Practice and Experience\u00a030(1), 61\u201379 (2000)","journal-title":"Software Practice and Experience"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Tracey, N., Clark, J.A., Mander, K.: Automated program flaw finding using simulated annealing. In: ISSTA, pp. 73\u201381 (1998)","DOI":"10.1145\/271771.271792"},{"issue":"14","key":"19_CR20","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. Information & Software Technology\u00a043(14), 841\u2013854 (2001)","journal-title":"Information & Software Technology"},{"key":"19_CR21","unstructured":"Wright, M.: Automating parameter choice for simulated annealing. Tech. Rep.\u00a032, Lancaster University Management School, UK (2010)"},{"key":"19_CR22","unstructured":"Xanthakis, S., Ellis, C., Skourlas, C., Gall, A.L., Katsikas, S., Karapoulios, K.: Application des algorithmes genetiques au test des logiciels. In: 5th Int. Conference on Software Engineering and its Applications, pp. 625\u2013636 (1992)"},{"issue":"1","key":"19_CR23","first-page":"55","volume":"2","author":"B.T. Zhang","year":"2000","unstructured":"Zhang, B.T., Kim, J.J.: Comparison of selection methods for evolutionary optimization. Evolutionary Optimization\u00a02(1), 55\u201370 (2000)","journal-title":"Evolutionary Optimization"}],"container-title":["Lecture Notes in Computer Science","Search Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23716-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T02:38:50Z","timestamp":1554086330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23716-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642237157","9783642237164"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23716-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}