{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:39:32Z","timestamp":1743115172030,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319036014"},{"type":"electronic","value":"9783319036021"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-03602-1_12","type":"book-chapter","created":{"date-parts":[[2014,1,8]],"date-time":"2014-01-08T21:03:55Z","timestamp":1389215035000},"page":"185-198","source":"Crossref","is-referenced-by-count":11,"title":["Automated Test Generation for Java Generics"],"prefix":"10.1007","author":[{"given":"Gordon","family":"Fraser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Arcuri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"12_CR1","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1109\/TSE.2009.52","volume":"36","author":"S. Ali","year":"2010","unstructured":"Ali, S., Briand, L., Hemmati, H., Panesar-Walawege, R.: A systematic review of the application and empirical investigation of search-based test-case generation. IEEE Transactions on Software Engineering (TSE)\u00a036(6), 742\u2013762 (2010)","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-71209-1_12","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Anand","year":"2007","unstructured":"Anand, S., P\u0103s\u0103reanu, C.S., Visser, W.: JPF\u2013SE: A symbolic execution extension to java pathFinder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 134\u2013138. Springer, Heidelberg (2007)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: EvoSuite: Automatic test suite generation for object-oriented software. In: ACM Symposium on the Foundations of Software Engineering (FSE), pp. 416\u2013419 (2011)","DOI":"10.1145\/2025113.2025179"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: Sound empirical evidence in software testing. In: ACM\/IEEE International Conference on Software Engineering (ICSE), pp. 178\u2013188 (2012)","DOI":"10.1109\/ICSE.2012.6227195"},{"issue":"2","key":"12_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 Transactions on Software Engineering\u00a039(2), 276\u2013291 (2013)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"12_CR6","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/TSE.2011.93","volume":"28","author":"G. Fraser","year":"2012","unstructured":"Fraser, G., Zeller, A.: Mutation-driven generation of unit tests and oracles. IEEE Transactions on Software Engineering (TSE)\u00a028(2), 278\u2013292 (2012)","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: Dart: directed automated random testing. In: ACM Conference on Programming language design and implementation (PLDI), pp. 213\u2013223 (2005)","DOI":"10.1145\/1064978.1065036"},{"issue":"1","key":"12_CR8","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/2379776.2379787","volume":"45","author":"M. Harman","year":"2012","unstructured":"Harman, M., Mansouri, S.A., Zhang, Y.: Search-based software engineering: Trends, techniques and applications. ACM Computing Surveys (CSUR)\u00a045(1), 11 (2012)","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Islam, M., Csallner, C.: Dsc+mock: A test case + mock class generator in support of coding against interfaces. In: International Workshop on Dynamic Analysis (WODA), pp. 26\u201331 (2010)","DOI":"10.1145\/1868321.1868326"},{"issue":"2","key":"12_CR10","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"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T.: Feedback-directed random test generation. In: ACM\/IEEE International Conference on Software Engineering (ICSE), pp. 75\u201384 (2007)","DOI":"10.1109\/ICSE.2007.37"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Parnin, C., Bird, C., Murphy-Hill, E.: Adoption and use of Java generics. Empirical Software Engineering, 1\u201343 (2012)","DOI":"10.1007\/s10664-012-9236-6"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Tillmann, N., de Halleux, N.J.: Pex \u2014 white box test generation for .NET. In: International Conference on Tests And Proofs (TAP), pp. 134\u2013253 (2008)","DOI":"10.1007\/978-3-540-79124-9_10"}],"container-title":["Lecture Notes in Business Information Processing","Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03602-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T21:26:00Z","timestamp":1558819560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03602-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319036014","9783319036021"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03602-1_12","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2014]]}}}