{"id":"https://openalex.org/W3043367330","doi":"https://doi.org/10.1145/3395363.3397386","title":"Automated repair of feature interaction failures in automated driving systems","display_name":"Automated repair of feature interaction failures in automated driving systems","publication_year":2020,"publication_date":"2020-07-13","ids":{"openalex":"https://openalex.org/W3043367330","doi":"https://doi.org/10.1145/3395363.3397386","mag":"3043367330"},"language":"en","primary_location":{"id":"doi:10.1145/3395363.3397386","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3395363.3397386","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th 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":"green","oa_url":"http://resolver.tudelft.nl/uuid:68d02e6c-1d56-416f-8f5c-3bda0453c698","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057214127","display_name":"Raja Ben Abdessalem","orcid":null},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":true,"raw_author_name":"Raja Ben Abdessalem","raw_affiliation_strings":["University of Luxembourg, Luxembourg"],"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067127346","display_name":"Annibale Panichella","orcid":"https://orcid.org/0000-0002-7395-3588"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]},{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["LU","NL"],"is_corresponding":false,"raw_author_name":"Annibale Panichella","raw_affiliation_strings":["Delft University of Technology, Netherlands / University of Luxembourg, Luxembourg"],"affiliations":[{"raw_affiliation_string":"Delft University of Technology, Netherlands / University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577","https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074393374","display_name":"Shiva Nejati","orcid":"https://orcid.org/0000-0002-0281-8231"},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]},{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["CA","LU"],"is_corresponding":false,"raw_author_name":"Shiva Nejati","raw_affiliation_strings":["University of Ottawa, Canada / University of Luxembourg, Luxembourg"],"affiliations":[{"raw_affiliation_string":"University of Ottawa, Canada / University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577","https://openalex.org/I153718931"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078533117","display_name":"Lionel Briand","orcid":"https://orcid.org/0000-0002-1393-1010"},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]},{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["CA","LU"],"is_corresponding":false,"raw_author_name":"Lionel C. Briand","raw_affiliation_strings":["University of Luxembourg, Luxembourg / University of Ottawa, Canada"],"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg / University of Ottawa, Canada","institution_ids":["https://openalex.org/I186903577","https://openalex.org/I153718931"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039296542","display_name":"Thomas Stifter","orcid":"https://orcid.org/0000-0003-4076-0234"},"institutions":[{"id":"https://openalex.org/I4210095367","display_name":"IEE (Luxembourg)","ror":"https://ror.org/00q8qjx07","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210095367"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Thomas Stifter","raw_affiliation_strings":["IEE, Luxembourg"],"affiliations":[{"raw_affiliation_string":"IEE, Luxembourg","institution_ids":["https://openalex.org/I4210095367"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5057214127"],"corresponding_institution_ids":["https://openalex.org/I186903577"],"apc_list":null,"apc_paid":null,"fwci":3.8451,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":{"value":0.93465578,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"88","last_page":"100"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7017537951469421},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.5876614451408386},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5122513175010681},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.33422666788101196},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.324165403842926},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32264000177383423},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.20523366332054138}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7017537951469421},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.5876614451408386},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5122513175010681},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33422666788101196},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.324165403842926},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32264000177383423},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.20523366332054138},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3395363.3397386","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3395363.3397386","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:tudelft.nl:uuid:68d02e6c-1d56-416f-8f5c-3bda0453c698","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:68d02e6c-1d56-416f-8f5c-3bda0453c698","pdf_url":"http://resolver.tudelft.nl/uuid:68d02e6c-1d56-416f-8f5c-3bda0453c698","source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conference paper"},{"id":"pmh:oai:orbilu.uni.lu:10993/43281","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/43281","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020) (2020-07); The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020), from 18-07-2020 to 22-07-2020","raw_type":"peer reviewed"}],"best_oa_location":{"id":"pmh:oai:tudelft.nl:uuid:68d02e6c-1d56-416f-8f5c-3bda0453c698","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:68d02e6c-1d56-416f-8f5c-3bda0453c698","pdf_url":"http://resolver.tudelft.nl/uuid:68d02e6c-1d56-416f-8f5c-3bda0453c698","source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conference paper"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1914656213","display_name":null,"funder_award_id":"Discovery Grant","funder_id":"https://openalex.org/F4320321487","funder_display_name":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G2165548363","display_name":null,"funder_award_id":"Canada","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G275404224","display_name":"Testing the Untestable: Model Testing of Complex Software-Intensive Systems","funder_award_id":"694277","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4956428346","display_name":null,"funder_award_id":"Horizon 2020 research and innovatio","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5036817778","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innov","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8633428685","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innovat","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8705474127","display_name":null,"funder_award_id":"694277","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321487","display_name":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"},{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3043367330.pdf","grobid_xml":"https://content.openalex.org/works/W3043367330.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W127597465","https://openalex.org/W1526710119","https://openalex.org/W1576818901","https://openalex.org/W1585711251","https://openalex.org/W1659842140","https://openalex.org/W1834614309","https://openalex.org/W1965335252","https://openalex.org/W1977696633","https://openalex.org/W1993760289","https://openalex.org/W2016027000","https://openalex.org/W2024753698","https://openalex.org/W2050149892","https://openalex.org/W2056427752","https://openalex.org/W2060333670","https://openalex.org/W2062154010","https://openalex.org/W2063171995","https://openalex.org/W2063387237","https://openalex.org/W2070249305","https://openalex.org/W2076719273","https://openalex.org/W2114334695","https://openalex.org/W2122947685","https://openalex.org/W2133068784","https://openalex.org/W2144575244","https://openalex.org/W2145124323","https://openalex.org/W2145373440","https://openalex.org/W2153881107","https://openalex.org/W2156553998","https://openalex.org/W2178328776","https://openalex.org/W2187041056","https://openalex.org/W2244826483","https://openalex.org/W2274071363","https://openalex.org/W2362984953","https://openalex.org/W2373227884","https://openalex.org/W2512380954","https://openalex.org/W2620081107","https://openalex.org/W2733797843","https://openalex.org/W2807730630","https://openalex.org/W2888252458","https://openalex.org/W2888483609","https://openalex.org/W2919115771","https://openalex.org/W2962708851","https://openalex.org/W3208407575","https://openalex.org/W4231241365","https://openalex.org/W4255632703","https://openalex.org/W6802905623"],"related_works":["https://openalex.org/W3147584709","https://openalex.org/W2977677679","https://openalex.org/W1992327129","https://openalex.org/W2381986121","https://openalex.org/W4376453582","https://openalex.org/W2370918718","https://openalex.org/W3147033875","https://openalex.org/W2764722704","https://openalex.org/W2256933480","https://openalex.org/W1568390478"],"abstract_inverted_index":{"In":[0,79],"the":[1,39,102,138,141,173],"past":[2],"years,":[3],"several":[4,119],"automated":[5,30,95,188],"repair":[6,31,85,109,135,170,189],"strategies":[7,136],"have":[8,154],"been":[9],"proposed":[10],"to":[11,87,101,140],"fix":[12],"bugs":[13],"in":[14,58,94,177,181],"individual":[15],"software":[16],"programs":[17],"without":[18],"any":[19],"human":[20],"intervention.":[21],"There":[22],"has":[23],"been,":[24],"however,":[25],"little":[26],"work":[27],"on":[28,148],"how":[29],"techniques":[32],"can":[33],"resolve":[34,89],"failures":[35,55,93,128,146,176],"that":[36,65,99,168],"arise":[37],"at":[38],"system-level":[40],"and":[41,143,185],"are":[42,56,66],"caused":[43,129],"by":[44,114,130],"undesired":[45,90,174],"interactions":[46],"among":[47],"different":[48],"system":[49,105],"components":[50],"or":[51],"functions.":[52],"Feature":[53],"interaction":[54,92,127,175],"common":[57],"complex":[59],"systems":[60,97,180],"such":[61],"as":[62,69],"autonomous":[63],"cars":[64],"typically":[67],"built":[68],"a":[70,84],"composition":[71],"of":[72,77,104,121,151],"independent":[73,131],"features":[74],"(i.e.,":[75],"units":[76],"functionality).":[78],"this":[80],"paper,":[81],"we":[82],"propose":[83],"technique":[86],"automatically":[88],"feature":[91],"driving":[96],"(ADS)":[98],"lead":[100],"violation":[103],"safety":[106],"requirements.":[107],"Our":[108,165],"strategy":[110,171],"achieves":[111],"its":[112],"goal":[113],"(1)":[115],"localizing":[116],"faults":[117],"spanning":[118],"lines":[120],"code,":[122],"(2)":[123],"simultaneously":[124],"resolving":[125,145],"multiple":[126],"faults,":[132],"(3)":[133],"scaling":[134],"from":[137],"unit-level":[139],"system-level,":[142],"(4)":[144],"based":[147],"their":[149],"order":[150],"severity.":[152],"We":[153],"evaluated":[155],"our":[156,169],"approach":[157],"using":[158],"two":[159,179],"industrial":[160],"ADS":[161],"containing":[162],"four":[163],"features.":[164],"results":[166],"show":[167],"resolves":[172],"these":[178],"less":[182],"than":[183],"16h":[184],"outperforms":[186],"existing":[187],"techniques.":[190]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2}],"updated_date":"2026-04-14T08:04:32.555800","created_date":"2025-10-10T00:00:00"}