@Article{cito_et_al:DagRep.13.2.163, author = {Cito, J\"{u}rgen and Piskac, Ruzica and Santolucito, Mark and Zaidman, Andy and Sokolowski, Daniel}, title = {{Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082)}}, pages = {163--182}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {13}, number = {2}, editor = {Cito, J\"{u}rgen and Piskac, Ruzica and Santolucito, Mark and Zaidman, Andy and Sokolowski, Daniel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.2.163}, URN = {urn:nbn:de:0030-drops-191836}, doi = {10.4230/DagRep.13.2.163}, annote = {Keywords: Computing infrastructure, Configuration, Program analysis} }