{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T22:13:10Z","timestamp":1769724790963,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642399541","type":"print"},{"value":"9783642399558","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39955-8_7","type":"book-chapter","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T05:17:35Z","timestamp":1380086255000},"page":"73-84","source":"Crossref","is-referenced-by-count":7,"title":["Automatically Repairing Concurrency Bugs with ARC"],"prefix":"10.1007","author":[{"given":"David","family":"Kelk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Jalbert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy S.","family":"Bradbury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Acree, A.T., Budd, T.A., DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Mutation analysis. Tech. rep., GIT-ICS-79\/08, Georgia Institute of Technology (1979)","DOI":"10.21236\/ADA076575"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Arcuri, A.: On the automation of fixing software bugs. In: Proc. of Int. Conf. on Soft. Eng. (ICSE 2008), pp. 1003\u20131006 (2008)","DOI":"10.1145\/1370175.1370223"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Yao, X.: A novel co-evolutionary approach to automatic software bug fixing. In: Proc. of IEEE Congress on Evolutionary Computation (CEC 2008), pp. 162\u2013168 (2008)","DOI":"10.1109\/CEC.2008.4630793"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Bradbury, J., Cordy, J., Dingel, J.: Mutation Operators for Concurrent Java (J2SE 5.0). In: Proc. of the Work. on Mutation Analysis (Mutation 2006), pp. 83\u201392 (2006)","DOI":"10.1109\/MUTATION.2006.10"},{"key":"7_CR5","unstructured":"Bradbury, J., Jalbert, K.: Defining a Catalog of Programming Anti-Patterns for Concurrent Java. In: Proc. of the Int. Work. on Software Patterns and Quality (SPAQu 2009), pp. 6\u201311 (2009)"},{"key":"7_CR6","unstructured":"Cordy, J., Halpern, C., Promislow, E.: TXL: A rapid prototyping system for programming language dialects. In: Proc. of the Int. Conf. on Computer Languages, pp. 280\u2013285 (1988)"},{"issue":"1","key":"7_CR7","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1147\/sj.411.0111","volume":"41","author":"O. Edelstein","year":"2002","unstructured":"Edelstein, O., Farchi, E., Nir, Y., Ratsaby, G., Ur, S.: Multithreaded Java program test generation. IBM Systems Journal\u00a041(1), 111\u2013125 (2002)","journal-title":"IBM Systems Journal"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Eytani, Y., Tzoref, R., Ur, S.: Experience with a concurrency bugs benchmark. In: Proc. of Software Testing Benchmark Work (TESTBENCH 2008) (2008)","DOI":"10.1109\/ICSTW.2008.17"},{"key":"7_CR9","unstructured":"Eytani, Y., Ur, S.: Compiling a benchmark of documented multi-threaded bugs. In: Proc. of Work. on Parallel and Distributed Sys.: Testing, Analysis, and Debugging (PADTAD 2004) (2004)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-642-27549-4_67","volume-title":"Computer Aided Systems Theory \u2013 EUROCAST 2011","author":"J. Fiedor","year":"2012","unstructured":"Fiedor, J., K\u0159ena, B., Letko, Z., Vojnar, T.: A uniform classification of common concurrency errors. In: Moreno-D\u00edaz, R., Pichler, F., Quesada-Arencibia, A. (eds.) EUROCAST 2011, Part I. LNCS, vol.\u00a06927, pp. 519\u2013526. Springer, Heidelberg (2012)"},{"issue":"6","key":"7_CR11","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1108\/eb005943","volume":"21","author":"J. Galletly","year":"1992","unstructured":"Galletly, J.: An overview of genetic algorithms. Kybernetes\u00a021(6), 26\u201330 (1992)","journal-title":"Kybernetes"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-12029-9_1","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Harman","year":"2010","unstructured":"Harman, M.: Why the Virtual Nature of Software Makes it Ideal for Search Based Optimization. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 1\u201312. Springer, Heidelberg (2010)"},{"key":"7_CR13","unstructured":"Havelund, K., Stoller, S., Ur, S.: Benchmark and framework for encouraging research on multi-threaded testing tools. In: Proc. of Work. on Parallel and Distributed Sys.: Testing, Analysis, and Debugging (PADTAD 2003), pp. 22\u201326 (2003)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Jin, G., et al.: Automated atomicity-violation fixing. In: Proc. of ACM SIGPLAN Conf. on Prog. Lang. Design and Implementation (PLDI 2011), pp. 389\u2013400 (2011)","DOI":"10.1145\/1993316.1993544"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Krena, B., Letko, Z., Tzoref, R., Ur, S., Vojnar, T.: Healing Data Races On-The-Fly. In: Proc. of Work. on Parallel and Distributed Sys.: Testing, Analysis, and Debugging (PADTAD 2007), pp. 54\u201364 (2007)","DOI":"10.1145\/1273647.1273658"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Krena, B., Letko, Z., Vojnar, T., Ur, S.: A platform for search-based testing of concurrent software. In: Proc. of Work. on Parallel and Distributed Sys.: Testing, Analysis, and Debugging (PADTAD 2010), pp. 48\u201358 (2010)","DOI":"10.1145\/1866210.1866215"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Le Goues, C., Dewey-Vogt, M., Forrest, S., Weimer, W.: A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. In: Proc. of Int. Conf. on Soft. Eng. (ICSE 2012), pp. 3\u201313 (2012)","DOI":"10.1109\/ICSE.2012.6227211"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Letko, Z., Vojnar, T., Krena, B.: AtomRace: Data Race and Atomicity Violation Detector and Healer. In: Proc. of Work. on Parallel and Distributed Sys.: Testing, Analysis, and Debugging (PADTAD 2008) (2008)","DOI":"10.1145\/1390841.1390848"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Liu, P., Zhang, C.: Axis: automatically fixing atomicity violations through solving control constraints. In: Proc. of Int. Conf. on Soft. Eng. (ICSE 2012), pp. 299\u2013309 (2012)","DOI":"10.1109\/ICSE.2012.6227184"},{"issue":"3","key":"7_CR20","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1002\/cpe.1063","volume":"19","author":"B. Long","year":"2007","unstructured":"Long, B., Strooper, P., Wildman, L.: A method for verifying concurrent Java components based on an analysis of concurrency failures. Concurrency and Computation: Practice & Experience\u00a019(3), 281\u2013294 (2007)","journal-title":"Concurrency and Computation: Practice & Experience"},{"key":"7_CR21","unstructured":"Musuvathi, M., Qadeer, S., Ball, T.: CHESS: A Systematic Testing Tool for Concurrent Software. Tech. rep., Microsoft Research (2007)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Naik, M., Aiken, A.: Conditional must not aliasing for static race detection. In: Proc. of ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL 2007), pp. 327\u2013338 (January 2007)","DOI":"10.1145\/1190215.1190265"},{"issue":"7","key":"7_CR23","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/1095408.1095421","volume":"3","author":"H. Sutter","year":"2005","unstructured":"Sutter, H., Larus, J.: Software and the concurrency revolution. Queue\u00a03(7), 54\u201362 (2005)","journal-title":"Queue"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Weimer, W., et al.: Automatically finding patches using genetic programming. In: Proc. of Int. Conf. on Soft. Eng. (ICSE 2009), pp. 364\u2013374 (2009)","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Wilkerson, J., Tauritz, D.: Coevolutionary automated software correction. In: Proc. of Genetic and Evolutionary Computation Conf. (GECCO 2010), pp. 1391\u20131392 (2010)","DOI":"10.1145\/1830483.1830739"}],"container-title":["Lecture Notes in Computer Science","Multicore Software Engineering, Performance, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39955-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T20:42:18Z","timestamp":1688503338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39955-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399541","9783642399558"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39955-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}