{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T09:03:04Z","timestamp":1770282184930,"version":"3.49.0"},"reference-count":63,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115673","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T22:03:57Z","timestamp":1511474637000},"page":"625-636","source":"Crossref","is-referenced-by-count":26,"title":["Tortoise: Interactive system configuration repair"],"prefix":"10.1109","author":[{"given":"Aaron","family":"Weiss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arjun","family":"Guha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuriy","family":"Brun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2010.2052622"},{"key":"ref38","article-title":"SemFix: Program repair via semantic analysis","author":"duong","year":"2013","journal-title":"International Conference on Software Engineering (ICSE)"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227184"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227211"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.63"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1255329.1255347"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"ref60","first-page":"1229","article-title":"Multiobjective coevolutionary automated software correction","author":"wilkerson","year":"2012","journal-title":"Genetic and Evolutionary Computation Conf (GECCO)"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568251"},{"key":"ref61","article-title":"Early detection of configuration errors to reduce failure damage","author":"xu","year":"2016","journal-title":"USENIX Symposium on Operating Systems Design and Implementation (OSDI)"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491456"},{"key":"ref28","first-page":"295","article-title":"Repairing programs with semantic code search","author":"ke","year":"2015","journal-title":"Proceeding of The IEEE\/ACM International Conference on Automated Software Engineering (ASE)"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"ref2","article-title":"Towards a high-level machine configuration system","author":"anderson","year":"1994","journal-title":"Proceedings of the USENIX\/SAGE Large Installation System Administration conference"},{"key":"ref1","article-title":"Syntax-guided synthesis","author":"rajeev","year":"2013","journal-title":"Formal Methods in Computer-Aided Design (FMCAD)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.227"},{"key":"ref22","year":"0","journal-title":"Thomas S Hatch Salt"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984000"},{"key":"ref24","article-title":"Testing idempotence and convergence for infrastructure as code","author":"hummer","year":"2013","journal-title":"ACM\/IFIP\/USENIX international middleware conference"},{"key":"ref23","article-title":"ConfValley: A systematic configuation validation framework for cloud services","author":"peng","year":"2015","journal-title":"European Conference on Computer Systems (EuroSys)"},{"key":"ref26","article-title":"A metamorphic testing approach for supporting program repair without the need for a test oracle","author":"jiang","year":"2016","journal-title":"Journal of Systems and Software"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2009.5090029"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462195"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"ref59","author":"welch","year":"2016","journal-title":"Chef appoints companys first chief marketing officer to drive continued growth"},{"key":"ref58","author":"weins","year":"2017","journal-title":"New DevOps trends 2017 state of the cloud survey"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"ref56","article-title":"Leveraging program equivalence for adaptive program repair: Models and first results","author":"westley","year":"2013","journal-title":"IEEE\/ACM International Conference on Automated Software Engineering (ASE)"},{"key":"ref55","first-page":"61","article-title":"Automated fixing of programs with contracts","author":"yi","year":"2010","journal-title":"International Symposium on Software Testing and Analysis (ISSTA)"},{"key":"ref54","year":"0","journal-title":"The Wall Street Journal NYSE says Wednesday outage caused by software update"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.65"},{"key":"ref52","article-title":"Autobash: Improving configuration management with operating system causality analysis","author":"ya-yunn","year":"2007","journal-title":"ACM Symposium on Operating Systems Principles (SOSP)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606625"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.15"},{"key":"ref40","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1109\/TSE.2014.2312918","article-title":"Automated fixing of programs with contracts","volume":"40","author":"yu","year":"2014","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.66"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2593735.2593740"},{"key":"ref14","first-page":"233","article-title":"Inference and enforcement of data structure consistency specifications","author":"brian","year":"2006","journal-title":"International Symposium on Software Testing and Analysis (ISSTA)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368222"},{"key":"ref16","year":"0","journal-title":"Facebook Engineering Team More details on today's outage"},{"key":"ref17","article-title":"?Puppet: A declarative subset of the Puppet configuration language","author":"fu","year":"2017","journal-title":"European Conference on Object-Oriented Programming (ECOOP)"},{"key":"ref18","year":"0","journal-title":"Google Inc Google App Engine incident 16008"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_15"},{"key":"ref4","article-title":"Automating configuration troubleshooting with dynamic information flow analysis","author":"attariyan","year":"2010","journal-title":"USENIX Symposium on Operating Systems Design and Implementation (OSDI)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2008.4630793"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22655-7_28"},{"key":"ref5","article-title":"Automatic repair of concurrency bugs","author":"bradbury","year":"2010","journal-title":"International Symposium on Search Based Software Engineering (SSBSE) fast abstract"},{"key":"ref8","year":"0","journal-title":"Chef Chef inc"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606624"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737988"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908103"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_5"},{"key":"ref45","author":"hat","year":"0","journal-title":"ANSIBLE INC"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2005.144"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908083"},{"key":"ref42","author":"inc","year":"0","journal-title":"Puppet"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"ref44","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/2771783.2771791","article-title":"An analysis of patch plausibility and correctness for generate-and-validate patch generation systems","author":"qi","year":"2015","journal-title":"International Symposium on Software Testing and Analysis (ISSTA)"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2013.29"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Urbana, IL","start":{"date-parts":[[2017,10,30]]},"end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115673.pdf?arnumber=8115673","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,8]],"date-time":"2022-08-08T05:53:42Z","timestamp":1659938022000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115673\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":63,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115673","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}