{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T01:42:41Z","timestamp":1769737361853,"version":"3.49.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319221823","type":"print"},{"value":"9783319221830","type":"electronic"}],"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-22183-0_7","type":"book-chapter","created":{"date-parts":[[2015,7,27]],"date-time":"2015-07-27T11:55:37Z","timestamp":1437998137000},"page":"93-108","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":70,"title":["Combining Multiple Coverage Criteria in Search-Based Unit Test Generation"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Miguel","family":"Rojas","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Campos","sequence":"additional","affiliation":[]},{"given":"Mattia","family":"Vivanti","sequence":"additional","affiliation":[]},{"given":"Gordon","family":"Fraser","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Arcuri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,28]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Alshahwan, N., Harman, M.: Coverage and fault detection of the output-uniqueness test selection criteria. In: Proceedings of ISSTA 2014, pp. 181\u2013192. ACM (2014)","DOI":"10.1145\/2610384.2610413"},{"issue":"2","key":"7_CR2","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1002\/stvr.457","volume":"23","author":"A Arcuri","year":"2013","unstructured":"Arcuri, A.: It really does matter how you normalize the branch distance in search-based software testing. Softw. Test. Verif. Reliab. 23(2), 119\u2013147 (2013)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"3","key":"7_CR3","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/stvr.1486","volume":"24","author":"A Arcuri","year":"2014","unstructured":"Arcuri, A., Briand, L.: A Hitchhiker\u2019s guide to statistical tests for assessing randomized algorithms in software engineering. Softw. Test. Verif. Reliab. 24(3), 219\u2013250 (2014)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: EvoSuite: automatic test suite generation for object-oriented software. In: Proceedings of FSE 2011, pp. 416\u2013419. ACM (2011)","DOI":"10.1145\/2025113.2025179"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/TSE.2012.14","volume":"39","author":"G Fraser","year":"2013","unstructured":"Fraser, G., Arcuri, A.: Whole test suite generation. IEEE Trans. Softw. Eng. 39(2), 276\u2013291 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"7_CR6","doi-asserted-by":"publisher","first-page":"8:1","DOI":"10.1145\/2685612","volume":"24","author":"G Fraser","year":"2014","unstructured":"Fraser, G., Arcuri, A.: A large scale evaluation of automated unit test generation using evosuite. ACM Trans. Softw. Eng. Methodol. 24(2), 8:1\u20138:42 (2014)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"3","key":"7_CR7","first-page":"1","volume":"20","author":"G Fraser","year":"2014","unstructured":"Fraser, G., Arcuri, A.: Achieving scalable mutation-based generation of whole test suites. Empirical Softw. Eng. 20(3), 1\u201330 (2014)","journal-title":"Empirical Softw. Eng."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Fraser, G., Staats, M., McMinn, P., Arcuri, A., Padberg, F.: Does automated white-box test generation really help software testers? In: Proceedings of ISSTA 2013, pp. 291\u2013301. ACM (2013)","DOI":"10.1145\/2483760.2483774"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Harman, M., Lakhotia, K., McMinn, P.: A multi-objective approach to search-based test data generation. In: Proceedings of GECCO 2007, pp. 1098\u20131105. ACM (2007)","DOI":"10.1145\/1276958.1277175"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-38916-0_9","volume-title":"Tests and Proofs","author":"K Jamrozik","year":"2013","unstructured":"Jamrozik, K., Fraser, G., Tillman, N., de Halleux, J.: Generating test suites with augmented dynamic symbolic execution. In: Veanes, M., Vigan\u00f2, L. (eds.) TAP 2013. LNCS, vol. 7942, pp. 152\u2013167. Springer, Heidelberg (2013)"},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1109\/TSE.2007.18","volume":"33","author":"D Jeffrey","year":"2007","unstructured":"Jeffrey, D., Gupta, N.: Improving fault detection capability by selectively retaining test cases during test suite reduction. IEEE Trans. Softw. Eng. 33(2), 108\u2013123 (2007)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"8","key":"7_CR12","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B Korel","year":"1990","unstructured":"Korel, B.: Automated software test data generation. IEEE Trans. Softw. Eng. 16(8), 870\u2013879 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Li, N., Meng, X., Offutt, J., Deng, L.: Is bytecode instrumentation as good as source code instrumentation: an empirical study with industrial tools (experience report). In: Proceedings of ISSRE 2013, pp. 380\u2013389. IEEE (2013)","DOI":"10.1109\/ISSRE.2013.6698891"},{"issue":"2","key":"7_CR14","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. Verif. Reliab. 14(2), 105\u2013156 (2004)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"10","key":"7_CR15","doi-asserted-by":"publisher","first-page":"1326","DOI":"10.1109\/TSE.2013.16","volume":"39","author":"S Sampath","year":"2013","unstructured":"Sampath, S., Bryce, R., Memon, A.: A uniform representation of hybrid criteria for regression testing. IEEE Trans. Softw. Eng. 39(10), 1326\u20131344 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Yoo, S., Harman, M.: Pareto efficient multi-objective test case selection. In: Proceedings of ISSTA 2007, pp. 140\u2013150. ACM (2007)","DOI":"10.1145\/1273463.1273483"},{"issue":"4","key":"7_CR17","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1016\/j.jss.2009.11.706","volume":"83","author":"S Yoo","year":"2010","unstructured":"Yoo, S., Harman, M.: Using hybrid algorithm for pareto efficient multi-objective test suite minimisation. J. Syst. Softw. 83(4), 689\u2013701 (2010)","journal-title":"J. Syst. Softw."},{"issue":"4","key":"7_CR18","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Comput. Surv. 29(4), 366\u2013427 (1997)","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Search-Based Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22183-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T13:41:35Z","timestamp":1676468495000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22183-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319221823","9783319221830"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22183-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"28 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}