{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T20:03:10Z","timestamp":1783108990903,"version":"3.54.6"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642397417","type":"print"},{"value":"9783642397424","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39742-4_21","type":"book-chapter","created":{"date-parts":[[2013,8,16]],"date-time":"2013-08-16T07:32:08Z","timestamp":1376638328000},"page":"257-262","source":"Crossref","is-referenced-by-count":26,"title":["Applying Genetic Improvement to MiniSAT"],"prefix":"10.1007","author":[{"given":"Justyna","family":"Petke","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"William B.","family":"Langdon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark","family":"Harman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"MiniSAT hack competition. In 2013 this is part of the 16th International Conference on Theory and Applications of Satisfiability Testing (2013)"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Arcuri, A., White, D.R., Clark, J., Yao, X.: Multi-objective Improvement of Software Using Co-evolution and Smart Seeding. In: Li, X., et al. (eds.) SEAL 2008. LNCS, vol.\u00a05361, pp. 61\u201370. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-89694-4_7"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Yao, X.: A novel co-evolutionary approach to automatic software bug fixing. In: Wang, J. (ed.) 2008 IEEE World Congress on Computational Intelligence, Hong Kong, June 1-6. IEEE Computational Intelligence Society, IEEE Press (2008)","DOI":"10.1109\/CEC.2008.4630793"},{"key":"21_CR4","unstructured":"Bj\u00f8rner, D., Ershov, A.P., Jones, N.D.: Partial evaluation and mixed computation. North\u2013Holland (1987)"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Fry, Z.P., Landau, B., Weimer, W.: A human study of patch maintainability. In: International Symposium on Software Testing and Analysis (ISSTA 2012), Minneapolis, Minnesota, USA (July 2012) (to appear)","DOI":"10.1145\/2338965.2336775"},{"key":"21_CR7","unstructured":"Goues, C.L., Dewey-Vogt, M., Forrest, S., Weimer, W.: A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. In: International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland (2012)"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Harman, M., Langdon, W.B., Jia, Y., White, D.R., Arcuri, A., Clark, J.A.: The GISMOE challenge: Constructing the pareto program surface using genetic programming to find better programs (keynote paper). In: 27th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2012), Essen, Germany (September 2012)","DOI":"10.1145\/2351676.2351678"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Langdon, W.B., Harman, M.: Evolving a CUDA kernel from an nVidia template. In: Sobrevilla, P. (ed.) 2010 IEEE World Congress on Computational Intelligence, Barcelona, July 18-23, pp. 2376\u20132383. IEEE (2010)","DOI":"10.1109\/CEC.2010.5585922"},{"key":"21_CR10","unstructured":"Langdon, W.B., Harman, M.: Genetically improving 50000 lines of C++. Research Note RN\/12\/09, Department of Computer Science, University College London, Gower Street, London WC1E 6BT, UK (September 19, 2012)"},{"issue":"1","key":"21_CR11","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/TSE.2011.104","volume":"38","author":"C. Goues Le","year":"2012","unstructured":"Le Goues, C., Nguyen, T., Forrest, S., Weimer, W.: GenProg: A generic method for automatic software repair. IEEE Transactions on Software Engineering\u00a038(1), 54\u201372 (2012)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"21_CR12","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1109\/TEVC.2010.2052622","volume":"15","author":"M. Orlov","year":"2011","unstructured":"Orlov, M., Sipper, M.: Flight of the FINCH through the Java wilderness. IEEE Transactions on Evolutionary Computation\u00a015(2), 166\u2013182 (2011)","journal-title":"IEEE Transactions on Evolutionary Computation"},{"key":"21_CR13","unstructured":"Silva, J.P.M., Lynce, I., Malik, S.: Conflict-driven clause learning SAT solvers. In: Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol.\u00a0185, pp. 131\u2013153. IOS Press (2009)"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Weimer, W., Nguyen, T.V., Goues, C.L., Forrest, S.: Automatically finding patches using genetic programming. In: International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, pp. 364\u2013374 (2009)","DOI":"10.1109\/ICSE.2009.5070536"},{"issue":"4","key":"21_CR15","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1109\/TEVC.2010.2083669","volume":"15","author":"D.R. White","year":"2011","unstructured":"White, D.R., Arcuri, A., Clark, J.A.: Evolutionary improvement of programs. IEEE Transactions on Evolutionary Computation\u00a015(4), 515\u2013538 (2011)","journal-title":"IEEE Transactions on Evolutionary Computation"}],"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_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T13:56:31Z","timestamp":1558014991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39742-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397417","9783642397424"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39742-4_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}