{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:23:20Z","timestamp":1726410200381},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397417"},{"type":"electronic","value":"9783642397424"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39742-4_31","type":"book-chapter","created":{"date-parts":[[2013,8,16]],"date-time":"2013-08-16T11:32:08Z","timestamp":1376652728000},"page":"318-323","source":"Crossref","is-referenced-by-count":0,"title":["Applying Search in an Automatic Contract-Based Testing Tool"],"prefix":"10.1007","author":[{"given":"Alexey","family":"Kolesnichenko","sequence":"first","affiliation":[]},{"given":"Christopher M.","family":"Poskitt","sequence":"additional","affiliation":[]},{"given":"Bertrand","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on Java predicates. In: Proc. International Symposium on Software Testing and Analysis (ISSTA 2002), pp. 123\u2013133. ACM (2002)","DOI":"10.1145\/566171.566191"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Cheon, Y., Kim, M.: A specification-based fitness function for evolutionary testing of object-oriented programs. In: Proc. Genetic and Evolutionary Computation Conference (GECCO 2006), pp. 1953\u20131954. ACM (2006)","DOI":"10.1145\/1143997.1144322"},{"key":"31_CR3","unstructured":"Cheon, Y., Kim, M., Perumandla, A.: A complete automation of unit testing for Java programs. In: Proc. International Conference on Software Engineering Research and Practice (SERP 2005), pp. 290\u2013295. CSREA Press (2005)"},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"Harman, M.: The current state and future of search based software engineering. In: Proc. Future of Software Engineering (FOSE 2007), pp. 342\u2013357. IEEE (2007)","DOI":"10.1109\/FOSE.2007.29"},{"issue":"2","key":"31_CR5","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":"31_CR6","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall (1997)"},{"issue":"9","key":"31_CR7","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2009.296","volume":"42","author":"B. Meyer","year":"2009","unstructured":"Meyer, B., Fiva, A., Ciupa, I., Leitner, A., Wei, Y., Stapf, E.: Programs that test themselves. IEEE Computer\u00a042(9), 46\u201355 (2009)","journal-title":"IEEE Computer"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Lahiri, S.K., Ball, T.: Finding errors in. NET with feedback-directed random testing. In: Proc. International Symposium on Software Testing and Analysis (ISSTA 2008), pp. 87\u201396. ACM (2008)","DOI":"10.1145\/1390630.1390643"},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"Ryoo, S., Rodrigues, C.I., Baghsorkhi, S.S., Stone, S.S., Kirk, D.B., Hwu, W.W.: Optimization principles and application performance evaluation of a multithreaded GPU using CUDA. In: Proc. Symposium on Principles and Practice of Parallel Programming (PPOPP 2008), pp. 73\u201382. ACM (2008)","DOI":"10.1145\/1345206.1345220"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Silva, L.S., Wei, Y., Meyer, B., Oriol, M.: Evotec: Evolving the best testing strategy for contract-equipped programs. In: Proc. Asia Pacific Software Engineering Conference (APSEC 2011), pp. 290\u2013297 (2011)","DOI":"10.1109\/APSEC.2011.34"},{"key":"31_CR11","unstructured":"Tracey, N.J.: A Search-Based Automated Test-Data Generation Framework for Safety-Critical Software. PhD thesis, The University of York (2000)"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Wei, Y., Gebhardt, S., Oriol, M., Meyer, B.: Satisfying test preconditions through guided object selection. In: Proc. International Conference on Software Testing, Verification and Validation (ICST 2010), pp. 303\u2013312. IEEE (2010)","DOI":"10.1109\/ICST.2010.34"},{"key":"31_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-23716-4_20","volume-title":"Search Based Software Engineering","author":"S. Yoo","year":"2011","unstructured":"Yoo, S., Harman, M., Ur, S.: Highly scalable multi objective test suite minimisation using graphics cards. In: Cohen, M.B., \u00d3 Cinn\u00e9ide, M. (eds.) SSBSE 2011. LNCS, vol.\u00a06956, pp. 219\u2013236. Springer, Heidelberg (2011)"}],"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-39742-4_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T17:47:41Z","timestamp":1558028861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39742-4_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397417","9783642397424"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39742-4_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}