{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T22:39:36Z","timestamp":1785537576730,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["825328"],"award-info":[{"award-number":["825328"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100011103","name":"European Commission","doi-asserted-by":"publisher","award":["5002597"],"award-info":[{"award-number":["5002597"]}],"id":[{"id":"10.13039\/100011103","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377811.3380384","type":"proceedings-article","created":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T18:25:38Z","timestamp":1601576738000},"page":"26-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Practical fault detection in puppet programs"],"prefix":"10.1145","author":[{"given":"Thodoris","family":"Sotiropoulos","sequence":"first","affiliation":[{"name":"Athens University of Economics and Business"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dimitris","family":"Mitropoulos","sequence":"additional","affiliation":[{"name":"Athens University of Economics and Business"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Diomidis","family":"Spinellis","sequence":"additional","affiliation":[{"name":"Athens University of Economics and Business"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"German","author":"Adams Bram","year":"2016","unstructured":"Bram Adams, Ryan Kavanagh, Ahmed E.Hassan, and Daniel M.German. 2016. An empirical study of integration activities in distributions of open source software. Empirical Software Engineering 21, 3 (01 Jun 2016), 960--1001."},{"key":"e_1_3_2_1_2_1","unstructured":"S. Amann H. A. Nguyen S. Nadi T. N. Nguyen and M. Mezini. 2018. A Systematic Evaluation of Static API-Misuse Detectors. IEEE Transactions on Software Engineering (2018) 1--1."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138928"},{"key":"e_1_3_2_1_4_1","volume-title":"2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). 124--129","author":"Chen W.","unstructured":"W. Chen, G. Wu, and J. Wei. 2018. An Approach to Identifying Error Patterns for Infrastructure as Code. In 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). 124--129."},{"key":"e_1_3_2_1_5_1","unstructured":"Claranet. 2019. Install and configure Varnish Cache. https:\/\/forge.puppet.com\/claranet\/varnish."},{"key":"e_1_3_2_1_6_1","volume-title":"2011 USENIX Annual Technical Conference (USENIX).","author":"Coetzee Derrick","year":"2011","unstructured":"Derrick Coetzee, Anand Bhaskar, and George Necula. 2011. apmake: A reliable parallel build manager. In 2011 USENIX Annual Technical Conference (USENIX)."},{"key":"e_1_3_2_1_7_1","unstructured":"Matt Dainty. 2019. Puppet Module for managing D-Bus. https:\/\/forge.puppet.com\/bodgit\/dbus."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924976.1924977"},{"key":"e_1_3_2_1_9_1","volume-title":"12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS","author":"Freitas L.","year":"2007","unstructured":"L. Freitas, Z. Fu, and J. Woodcock. 2007. POSIX file store in Z\/Eves: an experiment in the verified software repository. In 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007). 3--14."},{"key":"e_1_3_2_1_10_1","volume-title":"DNS Outage Post Mortem - The GitHub Blog. https:\/\/github.blog\/2014-01-18-dns-outage-post-mortem\/. [Online","year":"2019","unstructured":"Github. 2014. DNS Outage Post Mortem - The GitHub Blog. https:\/\/github.blog\/2014-01-18-dns-outage-post-mortem\/. [Online; accessed 28-January-2019]."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660239"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950308"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984000"},{"key":"e_1_3_2_1_14_1","volume-title":"Hesselink and Muhammad Ikram Lali","author":"Wim","year":"2012","unstructured":"Wim H. Hesselink and Muhammad Ikram Lali. 2012. Formalizing a hierarchical file system. Formal Aspects of Computing 24, 1 (01 Jan 2012), 27--44."},{"key":"e_1_3_2_1_15_1","first-page":"118","volume-title":"AGILE 2006 (AGILE'06)","author":"Humble J.","unstructured":"J. Humble, C. Read, and D. North. 2006. The deployment production line. In AGILE 2006 (AGILE'06). 6 pp.--118."},{"key":"e_1_3_2_1_16_1","volume-title":"Middleware","author":"Hummer Waldemar","year":"2013","unstructured":"Waldemar Hummer, Florian Rosenberg, F\u00e1bio Oliveira, and Tamar Eilam. 2013. Testing Idempotence for Infrastructure as Code. In Middleware 2013, David Eyers and Karsten Schwan (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 368--388."},{"key":"e_1_3_2_1_17_1","unstructured":"Alert Logic Inc. 2019. Alert Logic Agent Puppet Module. https:\/\/forge.puppet.com\/alertlogic\/agents."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330552"},{"key":"e_1_3_2_1_19_1","volume-title":"Catalog compilation - Puppet (PE and open source) 5.5. https:\/\/puppet.com\/docs\/puppet\/5.5\/subsystem_catalog_compilation.html. [Online","author":"Labs Puppet","year":"2019","unstructured":"Puppet Labs. 2018. Catalog compilation - Puppet (PE and open source) 5.5. https:\/\/puppet.com\/docs\/puppet\/5.5\/subsystem_catalog_compilation.html. [Online; accessed 28-January-2019]."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00125"},{"key":"e_1_3_2_1_21_1","volume-title":"Managing Infrastructure with Puppet: Configuration Management at Scale","author":"Loope James","unstructured":"James Loope. 2011. Managing Infrastructure with Puppet: Configuration Management at Scale. O'Reilly Media."},{"key":"e_1_3_2_1_22_1","volume-title":"Solaris Performance and Tools: DTrace and MDB Techniques for Solaris 10 and OpenSolaris","author":"McDougall Richard","unstructured":"Richard McDougall, Jim Mauro, and Brendan Gregg. 2006. Solaris Performance and Tools: DTrace and MDB Techniques for Solaris 10 and OpenSolaris. Prentice Hall PTR, Upper Saddle River."},{"key":"e_1_3_2_1_23_1","volume-title":"Infrastructure As Code: Managing Servers in the Cloud","author":"Morris Kief","unstructured":"Kief Morris. 2016. Infrastructure As Code: Managing Servers in the Cloud (1st ed.). O'Reilly Media, Inc.","edition":"1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2018.4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2974927.2974950"},{"key":"e_1_3_2_1_26_1","unstructured":"Puppet. 2019. Provides an interface for managing Apt source key and definitions with Puppet. https:\/\/forge.puppet.com\/puppetlabs\/apt."},{"key":"e_1_3_2_1_27_1","unstructured":"Puppet. 2019. Puppet Forge. https:\/\/forge.puppet.com\/."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00033"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2018.00014"},{"key":"e_1_3_2_1_30_1","volume-title":"USENIX Conference Proceedings","author":"Rodriguez R.","year":"1986","unstructured":"R. Rodriguez. 1986. A System Call Tracer for UNIX. In USENIX Conference Proceedings (Atlanta, GA). USENIX Association, Berkeley, CA, 72--80."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/QUATIC.2018.00040"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908083"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901739.2901761"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2012.85"},{"key":"e_1_3_2_1_35_1","volume-title":"Effective Debugging: 66 Specific Ways to Debug Software and Systems","author":"Spinellis Diomidis","unstructured":"Diomidis Spinellis. 2016. Effective Debugging: 66 Specific Ways to Debug Software and Systems. Addison-Wesley Professional, Boston, MA."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2018.8330206"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2643013"},{"key":"e_1_3_2_1_38_1","volume-title":"Building Software Teams: Ten Best Practices for Effective Software Development. \" O'Reilly Media","author":"Visser Joost","unstructured":"Joost Visser, Sylvan Rigal, Gijs Wijnholds, and Zeeger Lubsen. 2016. Building Software Teams: Ten Best Practices for Effective Software Development. \" O'Reilly Media, Inc.\"."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155641"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522727"}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","location":"Seoul South Korea","acronym":"ICSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380384","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377811.3380384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:39Z","timestamp":1750200099000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380384"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":40,"alternative-id":["10.1145\/3377811.3380384","10.1145\/3377811"],"URL":"https:\/\/doi.org\/10.1145\/3377811.3380384","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}