{"id":"https://openalex.org/W4411088266","doi":"https://doi.org/10.1145/3713081.3731735","title":"InfraFix: Technology-Agnostic Repair of Infrastructure as Code","display_name":"InfraFix: Technology-Agnostic Repair of Infrastructure as Code","publication_year":2025,"publication_date":"2025-06-06","ids":{"openalex":"https://openalex.org/W4411088266","doi":"https://doi.org/10.1145/3713081.3731735"},"language":"en","primary_location":{"id":"doi:10.1145/3713081.3731735","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3713081.3731735","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3713081.3731735","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5094306615","display_name":"Nuno Saavedra","orcid":"https://orcid.org/0000-0003-4148-5991"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Nuno Saavedra","raw_affiliation_strings":["INESC-ID, Lisboa, Portugal","Instituto Superior T\u00e9cnico, University of Lisbon, Lisbon, Portugal"],"affiliations":[{"raw_affiliation_string":"INESC-ID, Lisboa, Portugal","institution_ids":["https://openalex.org/I121345201"]},{"raw_affiliation_string":"Instituto Superior T\u00e9cnico, University of Lisbon, Lisbon, Portugal","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012075571","display_name":"Jo\u00e3o F. Ferreira","orcid":"https://orcid.org/0000-0002-6612-9013"},"institutions":[{"id":"https://openalex.org/I203847022","display_name":"Instituto Polit\u00e9cnico de Lisboa","ror":"https://ror.org/04ea70f07","country_code":"PT","type":"education","lineage":["https://openalex.org/I203847022"]},{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Jo\u00e3o F. Ferreira","raw_affiliation_strings":["INESC-ID, Lisbon, Portugal","Instituto Superior T\u00e9cnico, University of Lisbon, Lisboa, Portugal"],"affiliations":[{"raw_affiliation_string":"INESC-ID, Lisbon, Portugal","institution_ids":["https://openalex.org/I121345201"]},{"raw_affiliation_string":"Instituto Superior T\u00e9cnico, University of Lisbon, Lisboa, Portugal","institution_ids":["https://openalex.org/I203847022","https://openalex.org/I141596103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101599601","display_name":"Alexandra Mendes","orcid":"https://orcid.org/0000-0001-8060-5920"},"institutions":[{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]},{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Alexandra Mendes","raw_affiliation_strings":["Faculty of Engineering, University of Porto, Porto, Portugal","INESC TEC, Porto, Portugal"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, University of Porto, Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]},{"raw_affiliation_string":"INESC TEC, Porto, Portugal","institution_ids":["https://openalex.org/I4210166615"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5094306615"],"corresponding_institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20310367,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"41","last_page":"45"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12034","display_name":"Digital and Cyber Forensics","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7303062081336975},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5185830593109131},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.37761712074279785},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3030723035335541}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7303062081336975},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5185830593109131},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.37761712074279785},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3030723035335541},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3713081.3731735","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3713081.3731735","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3713081.3731735","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3713081.3731735","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6600000262260437}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W2248749189","https://openalex.org/W2402800985","https://openalex.org/W2755391279","https://openalex.org/W2883411629","https://openalex.org/W2888072873","https://openalex.org/W2907854211","https://openalex.org/W2955656327","https://openalex.org/W2964097228","https://openalex.org/W2993710525","https://openalex.org/W2997049506","https://openalex.org/W2998011150","https://openalex.org/W3088191102","https://openalex.org/W3104902066","https://openalex.org/W3123074563","https://openalex.org/W3138063364","https://openalex.org/W3162311522","https://openalex.org/W4250967164","https://openalex.org/W4288614128","https://openalex.org/W4312578982","https://openalex.org/W4313563702","https://openalex.org/W4315480688","https://openalex.org/W4384009698","https://openalex.org/W4384009817","https://openalex.org/W4388483637","https://openalex.org/W4394745203","https://openalex.org/W4396564044","https://openalex.org/W4400242087","https://openalex.org/W4400582494","https://openalex.org/W4400681240","https://openalex.org/W4401543865"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Infrastructure":[0],"as":[1],"Code":[2],"(IaC)":[3],"enables":[4],"scalable":[5],"and":[6,23,97,105,146,151],"automated":[7],"IT":[8],"infrastructure":[9],"management":[10],"but":[11],"is":[12],"prone":[13],"to":[14,19,43,70,140,152],"errors":[15],"that":[16,110],"can":[17],"lead":[18],"security":[20],"vulnerabilities,":[21],"outages,":[22],"data":[24],"loss.":[25],"While":[26],"prior":[27,64],"research":[28],"has":[29],"focused":[30],"on":[31],"detecting":[32],"IaC":[33,61,136],"issues,":[34],"Automated":[35],"Program":[36],"Repair":[37],"(APR)":[38],"remains":[39],"underexplored,":[40],"largely":[41],"due":[42],"the":[44,55],"lack":[45],"of":[46,90,125],"suitable":[47],"specifications.":[48],"In":[49],"this":[50],"work,":[51],"we":[52,78],"propose":[53],"InfraFix,":[54],"first":[56],"technology-agnostic":[57],"framework":[58],"for":[59,83,93,132],"repairing":[60],"scripts.":[62],"Unlike":[63],"approaches,":[65],"InfraFix":[66,99,150],"allows":[67],"APR":[68,91,134],"techniques":[69,92,148],"be":[71],"guided":[72],"by":[73,137],"diverse":[74],"information":[75],"sources.":[76],"Additionally,":[77],"introduce":[79],"a":[80,106,122,130],"novel":[81],"approach":[82],"generating":[84],"repair":[85,103,119,147,160],"scenarios,":[86],"enabling":[87,138],"large-scale":[88],"evaluation":[89],"IaC.":[94],"We":[95],"implement":[96],"evaluate":[98,153],"using":[100,149],"an":[101],"SMT-based":[102],"module":[104,109],"state":[107,144],"inference":[108,145],"uses":[111],"system":[112],"calls,":[113],"demonstrating":[114],"its":[115],"effectiveness":[116],"across":[117],"254,288":[118],"scenarios":[120],"with":[121,142,158],"success":[123],"rate":[124],"95.7%.":[126],"Our":[127],"work":[128],"provides":[129],"foundation":[131],"advancing":[133],"in":[135],"researchers":[139],"experiment":[141],"new":[143],"their":[154],"approaches":[155],"at":[156],"scale":[157],"our":[159],"scenario":[161],"generation":[162],"method.":[163]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}