{"id":"https://openalex.org/W3043625731","doi":"https://doi.org/10.1145/3395363.3404369","title":"CPSDebug: a tool for explanation of failures in cyber-physical systems","display_name":"CPSDebug: a tool for explanation of failures in cyber-physical systems","publication_year":2020,"publication_date":"2020-07-13","ids":{"openalex":"https://openalex.org/W3043625731","doi":"https://doi.org/10.1145/3395363.3404369","mag":"3043625731"},"language":"en","primary_location":{"id":"doi:10.1145/3395363.3404369","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3395363.3404369","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://orbilu.uni.lu/handle/10993/44794","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050836932","display_name":"Ezio Bartocci","orcid":"https://orcid.org/0000-0002-8004-6601"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ezio Bartocci","raw_affiliation_strings":["TU Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Vienna, Austria","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042040948","display_name":"Niveditha Manjunath","orcid":null},"institutions":[{"id":"https://openalex.org/I132118926","display_name":"Austrian Institute of Technology","ror":"https://ror.org/04knbh022","country_code":"AT","type":"facility","lineage":["https://openalex.org/I132118926"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Niveditha Manjunath","raw_affiliation_strings":["Austrian Institute of Technology, Austria / TU Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"Austrian Institute of Technology, Austria / TU Vienna, Austria","institution_ids":["https://openalex.org/I132118926"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036120394","display_name":"Leonardo Mariani","orcid":"https://orcid.org/0000-0001-9527-7042"},"institutions":[{"id":"https://openalex.org/I66752286","display_name":"University of Milano-Bicocca","ror":"https://ror.org/01ynf4891","country_code":"IT","type":"education","lineage":["https://openalex.org/I66752286"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Leonardo Mariani","raw_affiliation_strings":["University of Milano-Bicocca, Italy"],"affiliations":[{"raw_affiliation_string":"University of Milano-Bicocca, Italy","institution_ids":["https://openalex.org/I66752286"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021055277","display_name":"Cristinel Mateis","orcid":"https://orcid.org/0000-0001-7502-0688"},"institutions":[{"id":"https://openalex.org/I132118926","display_name":"Austrian Institute of Technology","ror":"https://ror.org/04knbh022","country_code":"AT","type":"facility","lineage":["https://openalex.org/I132118926"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Cristinel Mateis","raw_affiliation_strings":["Austrian Institute of Technology, Austria"],"affiliations":[{"raw_affiliation_string":"Austrian Institute of Technology, Austria","institution_ids":["https://openalex.org/I132118926"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052399473","display_name":"Dejan Ni\u010dkovi\u0107","orcid":"https://orcid.org/0000-0001-5468-0396"},"institutions":[{"id":"https://openalex.org/I132118926","display_name":"Austrian Institute of Technology","ror":"https://ror.org/04knbh022","country_code":"AT","type":"facility","lineage":["https://openalex.org/I132118926"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Dejan Ni\u010dkovi\u0107","raw_affiliation_strings":["Austrian Institute of Technology, Austria"],"affiliations":[{"raw_affiliation_string":"Austrian Institute of Technology, Austria","institution_ids":["https://openalex.org/I132118926"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042872250","display_name":"Fabrizio Pastore","orcid":"https://orcid.org/0000-0003-3541-3641"},"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":false,"raw_author_name":"Fabrizio Pastore","raw_affiliation_strings":["University of Luxembourg, Luxembourg"],"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5050836932"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.823,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.84957265,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"569","last_page":"572"},"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.9997000098228455,"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.9997000098228455,"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.9994000196456909,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/debugging","display_name":"Debugging","score":0.9297520518302917},{"id":"https://openalex.org/keywords/stateflow","display_name":"Stateflow","score":0.8141255974769592},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7774297595024109},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7443615794181824},{"id":"https://openalex.org/keywords/matlab","display_name":"MATLAB","score":0.48112788796424866},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42525696754455566},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.42522409558296204},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.37895703315734863},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3548281490802765},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24020394682884216},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1318666636943817}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9297520518302917},{"id":"https://openalex.org/C2779752788","wikidata":"https://www.wikidata.org/wiki/Q1266659","display_name":"Stateflow","level":3,"score":0.8141255974769592},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7774297595024109},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7443615794181824},{"id":"https://openalex.org/C2780365114","wikidata":"https://www.wikidata.org/wiki/Q169478","display_name":"MATLAB","level":2,"score":0.48112788796424866},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42525696754455566},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.42522409558296204},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.37895703315734863},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3548281490802765},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24020394682884216},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1318666636943817},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3395363.3404369","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3395363.3404369","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:boa.unimib.it:10281/293877","is_oa":false,"landing_page_url":"http://hdl.handle.net/10281/293877","pdf_url":null,"source":{"id":"https://openalex.org/S4306401259","display_name":"BOA (University of Milano-Bicocca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66752286","host_organization_name":"University of Milano-Bicocca","host_organization_lineage":["https://openalex.org/I66752286"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:orbilu.uni.lu:10993/44794","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/44794","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":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CPSDebug: a tool for explanation of failures in cyber-physical systems, 569\u2013572 (2020); INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, from 18-07-2020 to 22-07-2020","raw_type":"peer reviewed"}],"best_oa_location":{"id":"pmh:oai:orbilu.uni.lu:10993/44794","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/44794","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":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CPSDebug: a tool for explanation of failures in cyber-physical systems, 569\u2013572 (2020); INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, from 18-07-2020 to 22-07-2020","raw_type":"peer reviewed"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1972020324","https://openalex.org/W2034585788","https://openalex.org/W2067436653","https://openalex.org/W2110908283","https://openalex.org/W2151674625","https://openalex.org/W2158381251","https://openalex.org/W2185114873","https://openalex.org/W2235911515","https://openalex.org/W2326362939","https://openalex.org/W2343875716","https://openalex.org/W2615684752","https://openalex.org/W2796327418"],"related_works":["https://openalex.org/W2994120531","https://openalex.org/W2108326965","https://openalex.org/W2756692340","https://openalex.org/W2086962923","https://openalex.org/W3099113830","https://openalex.org/W4229048927","https://openalex.org/W190251865","https://openalex.org/W2152192540","https://openalex.org/W3017360834","https://openalex.org/W2133522624"],"abstract_inverted_index":{"Debugging":[0],"Cyber-Physical":[1],"System":[2],"models":[3],"is":[4],"often":[5],"challenging,":[6],"as":[7],"it":[8],"requires":[9],"identifying":[10],"a":[11,23,38,54],"potentially":[12],"long,":[13],"complex":[14],"and":[15,62,71,77,89,91],"heterogenous":[16],"combination":[17],"of":[18,25,29,46,69,81],"events":[19],"that":[20,57,97],"resulted":[21],"in":[22,43,48,75],"violation":[24],"the":[26,30,44,67,82],"expected":[27],"behavior":[28],"system.":[31],"In":[32],"this":[33],"paper":[34],"we":[35],"present":[36],"CPSDebug,":[37],"tool":[39],"for":[40],"supporting":[41],"designers":[42],"debugging":[45,104],"failures":[47,70],"MATLAB":[49],"Simulink/Stateflow":[50],"models.":[51],"CPSDebug":[52,98],"implements":[53],"gray-box":[55],"approach":[56],"combines":[58],"testing,":[59],"specification":[60],"mining,":[61],"failure":[63],"analysis":[64],"to":[65],"identify":[66],"causes":[68],"explain":[72],"their":[73],"propagation":[74],"time":[76],"space.":[78],"The":[79],"evaluation":[80],"tool,":[83],"based":[84],"on":[85],"multiple":[86],"usage":[87],"scenarios":[88],"faults":[90],"direct":[92],"feedback":[93],"from":[94],"engineers,":[95],"shows":[96],"can":[99],"effectively":[100],"aid":[101],"engineers":[102],"during":[103],"tasks.":[105]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}