{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:03Z","timestamp":1750307283671,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,11,7]],"date-time":"2010-11-07T00:00:00Z","timestamp":1289088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,11,7]]},"DOI":"10.1145\/1882362.1882406","type":"proceedings-article","created":{"date-parts":[[2010,11,12]],"date-time":"2010-11-12T14:38:38Z","timestamp":1289572718000},"page":"205-210","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["The case for software evolution"],"prefix":"10.1145","author":[{"given":"Claire","family":"Le Goues","sequence":"first","affiliation":[{"name":"University of Virginia, Charlottesville, VA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephanie","family":"Forrest","sequence":"additional","affiliation":[{"name":"University of New Mexico, Albuquerque, NM, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Westley","family":"Weimer","sequence":"additional","affiliation":[{"name":"University of Virginia, Charlottesville, VA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134336"},{"key":"e_1_3_2_1_3_1","volume-title":"The Nature of Technology: What it is and How it Evolves","author":"Arthur W. B.","year":"2009","unstructured":"W. B. Arthur . The Nature of Technology: What it is and How it Evolves . Simon and Schuster , 2009 . W. B. Arthur. The Nature of Technology: What it is and How it Evolves. Simon and Schuster, 2009."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.130"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503274"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948147"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_1_9_1","volume-title":"Testing object-oriented systems: models, patterns, and tools","author":"Binder R. V.","year":"1999","unstructured":"R. V. Binder . Testing object-oriented systems: models, patterns, and tools . Addison-Wesley , 1999 . R. V. Binder. Testing object-oriented systems: models, patterns, and tools. Addison-Wesley, 1999."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200006)30:7%3C775::AID-SPE309%3E3.0.CO;2-H"},{"key":"e_1_3_2_1_11_1","volume-title":"USENIX Security Symposium","author":"Cox B.","year":"2006","unstructured":"B. Cox , D. Evans , A. Filipi , J. Rowanhill , W. Hu , J. Davidson , J. Knight , A. Nguyen-Tuong , and J. Hiser . N-variant systems: a secretless framework for security through diversity . In USENIX Security Symposium , 2006 . B. Cox, D. Evans, A. Filipi, J. Rowanhill, W. Hu, J. Davidson, J. Knight, A. Nguyen-Tuong, and J. Hiser. N-variant systems: a secretless framework for security through diversity. In USENIX Security Symposium, 2006."},{"key":"e_1_3_2_1_12_1","first-page":"207","volume-title":"Robust Design: A Repertoire of Biological, Ecological, and Engineering Case Studies","author":"Forrest S.","year":"2004","unstructured":"S. Forrest , J. Balthrop , M. Glickman , and D. Ackley . Computation in the wild . In E. Jen, editor, Robust Design: A Repertoire of Biological, Ecological, and Engineering Case Studies , pages 207 -- 230 . Oxford University Press , 2004 . Reprinted in K. Park and W. Willinger Eds. The Internet as a Large-Scale Complex System, pp. 227--250. Oxford University Press (2005). S. Forrest, J. Balthrop, M. Glickman, and D. Ackley. Computation in the wild. In E. Jen, editor, Robust Design: A Repertoire of Biological, Ecological, and Engineering Case Studies, pages 207--230. Oxford University Press, 2004. Reprinted in K. Park and W. Willinger Eds. The Internet as a Large-Scale Complex System, pp. 227--250. Oxford University Press (2005)."},{"key":"e_1_3_2_1_13_1","volume-title":"Sixth Workshop on Hot Topics in Operating Systems","author":"Forrest S.","year":"1998","unstructured":"S. Forrest , A. Somayaji , and D. H. Ackley . Building diverse computer systems . In Sixth Workshop on Hot Topics in Operating Systems , 1998 . S. Forrest, A. Somayaji, and D. H. Ackley. Building diverse computer systems. In Sixth Workshop on Hot Topics in Operating Systems, 1998."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570031"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_16_1","first-page":"155","volume-title":"Object oriented programming systems languages and applications","author":"Ha J.","year":"2009","unstructured":"J. Ha , M. Arnold , S. M. Blackburn , and K. S. McKinley . A concurrent dynamic analysis framework for multicore hardware . In Object oriented programming systems languages and applications , pages 155 -- 174 , 2009 . 10.1145\/1640089.1640101 J. Ha, M. Arnold, S. M. Blackburn, and K. S. McKinley. A concurrent dynamic analysis framework for multicore hardware. In Object oriented programming systems languages and applications, pages 155--174, 2009. 10.1145\/1640089.1640101"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108768.1108798"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1134764"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_20_1","first-page":"273","volume-title":"Automated software engineering","author":"Jones J. A.","year":"2005","unstructured":"J. A. Jones and M. J. Harrold . Empirical evaluation of the tarantula automatic fault-localization technique . In Automated software engineering , pages 273 -- 282 , 2005 . 10.1145\/1101908.1101949 J. A. Jones and M. J. Harrold. Empirical evaluation of the tarantula automatic fault-localization technique. In Automated software engineering, pages 273--282, 2005. 10.1145\/1101908.1101949"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.3"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111042"},{"key":"e_1_3_2_1_23_1","first-page":"141","volume-title":"Programming language design and implementation","author":"Liblit B.","year":"2003","unstructured":"B. Liblit , A. Aiken , A. X. Zheng , and M. I. Jordan . Bug isolation via remote program sampling . In Programming language design and implementation , pages 141 -- 154 , 2003 . 10.1145\/781131.781148 B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In Programming language design and implementation, pages 141--154, 2003. 10.1145\/781131.781148"},{"key":"e_1_3_2_1_25_1","volume-title":"NIST","author":"The ST.","year":"2002","unstructured":"NI ST. The economic impacts of inadequate infrastructure for software testing. Technical Report NIST Planning Report 02-3 , NIST , May 2002 . NIST. The economic impacts of inadequate infrastructure for software testing. Technical Report NIST Planning Report 02-3, NIST, May 2002."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.539720"},{"key":"e_1_3_2_1_28_1","first-page":"303","volume-title":"Operating Systems Design and Implementation","author":"Rinard M.","year":"2004","unstructured":"M. Rinard , C. Cadar , D. Dumitran , D. M. Roy , T. Leu , and W. S. Beebee . Enhancing server availability and security through failure-oblivious computing . In Operating Systems Design and Implementation , pages 303 -- 316 , 2004 . M. Rinard, C. Cadar, D. Dumitran, D. M. Roy, T. Leu, and W. S. Beebee. Enhancing server availability and security through failure-oblivious computing. In Operating Systems Design and Implementation, pages 303--316, 2004."},{"key":"e_1_3_2_1_29_1","volume-title":"Diffusion of Innovations","author":"Rogers E. M.","year":"1962","unstructured":"E. M. Rogers . Diffusion of Innovations . Glencoe : Free Press , 1962 . E. M. Rogers. Diffusion of Innovations. Glencoe: Free Press, 1962."},{"key":"e_1_3_2_1_30_1","volume-title":"Modernizing Legacy Systems: Software Technologies, Engineering Process and Business Practices","author":"Seacord R. C.","year":"2003","unstructured":"R. C. Seacord , D. Plakosh , and G. A. Lewis . Modernizing Legacy Systems: Software Technologies, Engineering Process and Business Practices . Addison-Wesley , 2003 . R. C. Seacord, D. Plakosh, and G. A. Lewis. Modernizing Legacy Systems: Software Technologies, Engineering Process and Business Practices. Addison-Wesley, 2003."},{"key":"e_1_3_2_1_31_1","first-page":"571","volume-title":"Automated Software Engineering","author":"Sen K.","year":"2007","unstructured":"K. Sen . Concolic testing . In Automated Software Engineering , pages 571 -- 572 , 2007 . 10.1145\/1321631.1321746 K. Sen. Concolic testing. In Automated Software Engineering, pages 571--572, 2007. 10.1145\/1321631.1321746"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706337"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/210376.210394"},{"key":"e_1_3_2_1_34_1","volume-title":"Networking and Distributed System Security Symposium","author":"Wagner D.","year":"2000","unstructured":"D. Wagner , J. S. Foster , E. A. Brewer , and A. Aiken . A first step towards automated detection of buffer overrun vulnerabilities . In Networking and Distributed System Security Symposium , Feb. 2000 . D. Wagner, J. S. Foster, E. A. Brewer, and A. Aiken. A first step towards automated detection of buffer overrun vulnerabilities. In Networking and Distributed System Security Symposium, Feb. 2000."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250739"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/978-3-540-87698-4_26","volume-title":"Computer Safety, Reliability, and Security","author":"Yin X.","year":"2008","unstructured":"X. Yin , J. C. Knight , E. A. Nguyen , and W. Weimer . Formal verification by reverse synthesis . In Computer Safety, Reliability, and Security , pages 305 -- 319 , 2008 . 10.1007\/978-3-540-87698-4_26 X. Yin, J. C. Knight, E. A. Nguyen, and W. Weimer. Formal verification by reverse synthesis. In Computer Safety, Reliability, and Security, pages 305--319, 2008. 10.1007\/978-3-540-87698-4_26"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595713"}],"event":{"name":"SIGSOFT\/FSE'10: 18th ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Santa Fe New Mexico USA","acronym":"SIGSOFT\/FSE'10"},"container-title":["Proceedings of the FSE\/SDP workshop on Future of software engineering research"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1882362.1882406","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1882362.1882406","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:34Z","timestamp":1750244374000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1882362.1882406"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,7]]},"references-count":36,"alternative-id":["10.1145\/1882362.1882406","10.1145\/1882362"],"URL":"https:\/\/doi.org\/10.1145\/1882362.1882406","relation":{},"subject":[],"published":{"date-parts":[[2010,11,7]]},"assertion":[{"value":"2010-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}