{"id":"https://openalex.org/W2808602074","doi":"https://doi.org/10.24963/ijcai.2018/267","title":"Leveraging Qualitative Reasoning to Improve SFL","display_name":"Leveraging Qualitative Reasoning to Improve SFL","publication_year":2018,"publication_date":"2018-07-01","ids":{"openalex":"https://openalex.org/W2808602074","doi":"https://doi.org/10.24963/ijcai.2018/267","mag":"2808602074"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2018/267","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/267","pdf_url":"https://www.ijcai.org/proceedings/2018/0267.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2018/0267.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027181451","display_name":"Alexandre Perez","orcid":"https://orcid.org/0000-0002-5809-0550"},"institutions":[{"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/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]},{"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"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Alexandre Perez","raw_affiliation_strings":["HASLab, INESC-TEC","University of Porto, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"HASLab, INESC-TEC","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I4210166615"]},{"raw_affiliation_string":"University of Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]}]},{"author_position":"last","author":{"id":null,"display_name":"Rui Abreu","orcid":null},"institutions":[{"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"]},{"id":"https://openalex.org/I4210154254","display_name":"Instituto Superior de Tecnologias Avan\u00e7adas","ror":"https://ror.org/04hzbg791","country_code":"PT","type":"education","lineage":["https://openalex.org/I4210154254"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Rui Abreu","raw_affiliation_strings":["INESC-ID","IST, University of Lisbon, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INESC-ID","institution_ids":["https://openalex.org/I121345201"]},{"raw_affiliation_string":"IST, University of Lisbon, Portugal","institution_ids":["https://openalex.org/I141596103","https://openalex.org/I4210154254"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5027181451"],"corresponding_institution_ids":["https://openalex.org/I121345201","https://openalex.org/I182534213","https://openalex.org/I4210166615"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1935","last_page":"1941"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"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.9994999766349792,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9980000257492065,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9972000122070312,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7535916566848755},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.7074646949768066},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5761295557022095},{"id":"https://openalex.org/keywords/qualitative-reasoning","display_name":"Qualitative reasoning","score":0.5531724691390991},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.5368820428848267},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5037443041801453},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.39231911301612854},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3897078037261963},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3805181682109833},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.1149839460849762}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7535916566848755},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7074646949768066},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5761295557022095},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.5531724691390991},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.5368820428848267},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5037443041801453},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.39231911301612854},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3897078037261963},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3805181682109833},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.1149839460849762},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2018/267","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/267","pdf_url":"https://www.ijcai.org/proceedings/2018/0267.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2018/267","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/267","pdf_url":"https://www.ijcai.org/proceedings/2018/0267.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7119770695","display_name":null,"funder_award_id":"SFRH/BD/95339/2013","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"}],"funders":[{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W150716982","https://openalex.org/W1494294191","https://openalex.org/W1568665038","https://openalex.org/W1581207020","https://openalex.org/W1585610988","https://openalex.org/W1891686678","https://openalex.org/W1988429542","https://openalex.org/W2006149896","https://openalex.org/W2007420144","https://openalex.org/W2040577374","https://openalex.org/W2045428103","https://openalex.org/W2067436653","https://openalex.org/W2098549348","https://openalex.org/W2119114407","https://openalex.org/W2136887998","https://openalex.org/W2140190241","https://openalex.org/W2147699889","https://openalex.org/W2156723666","https://openalex.org/W2157922094","https://openalex.org/W2162045655","https://openalex.org/W2162661453","https://openalex.org/W2162946946","https://openalex.org/W2163732854","https://openalex.org/W2168745915","https://openalex.org/W2172154252","https://openalex.org/W2399314260","https://openalex.org/W2561272480","https://openalex.org/W2770272372","https://openalex.org/W4229977739","https://openalex.org/W4236271896","https://openalex.org/W4239535036","https://openalex.org/W4244902112","https://openalex.org/W4252684946"],"related_works":["https://openalex.org/W2067683079","https://openalex.org/W2490266699","https://openalex.org/W1998725587","https://openalex.org/W1963699746","https://openalex.org/W2127482978","https://openalex.org/W2349790191","https://openalex.org/W1608029391","https://openalex.org/W2123211596","https://openalex.org/W1517957937","https://openalex.org/W2330804714"],"abstract_inverted_index":{"Spectrum-based":[0],"fault":[1],"localization":[2],"(SFL)":[3],"correlates":[4],"a":[5,18,83],"system's":[6],"components":[7,49,101],"with":[8,99],"observed":[9],"failures.":[10],"By":[11],"reasoning":[12,62],"about":[13],"coverage,":[14],"SFL":[15,70,85,98],"allows":[16],"for":[17],"lightweight":[19],"way":[20],"of":[21,30,37,108],"pinpointing":[22],"faults.":[23],"This":[24],"abstraction":[25],"comes":[26],"at":[27],"the":[28,65,109],"cost":[29],"missing":[31],"certain":[32],"faults,":[33],"such":[34],"as":[35,82],"errors":[36],"omission,":[38],"and":[39,77],"failing":[40],"to":[41,46,63,69,87],"provide":[42],"enough":[43],"contextual":[44],"information":[45,66],"explain":[47],"why":[48],"are":[50],"considered":[51,110],"suspicious.":[52],"We":[53],"propose":[54],"an":[55],"approach,":[56],"named":[57],"Q-SFL,":[58],"that":[59,96],"leverages":[60],"qualitative":[61,80,100],"augment":[64],"made":[67],"available":[68],"techniques.":[71],"It":[72],"qualitatively":[73],"partitions":[74],"system":[75],"components,":[76],"treats":[78],"each":[79],"state":[81],"new":[84],"component":[86],"be":[88],"used":[89],"when":[90],"diagnosing.":[91],"Our":[92],"empirical":[93],"evaluation":[94],"shows":[95],"augmenting":[97],"can":[102],"improve":[103],"diagnostic":[104],"accuracy":[105],"in":[106],"54%":[107],"real-world":[111],"subjects.":[112]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}