{"id":"https://openalex.org/W2796430303","doi":"https://doi.org/10.1007/978-3-319-89363-1_14","title":"Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications","display_name":"Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2796430303","doi":"https://doi.org/10.1007/978-3-319-89363-1_14","mag":"2796430303"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-89363-1_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89363-1_14","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1007/978-3-319-89363-1_14","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030682904","display_name":"David Landsberg","orcid":"https://orcid.org/0000-0001-6084-0042"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"David Landsberg","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060663223","display_name":"Youcheng Sun","orcid":"https://orcid.org/0000-0002-1893-6259"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Youcheng Sun","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086206346","display_name":"Daniel Kroening","orcid":"https://orcid.org/0000-0002-6681-5283"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Daniel Kroening","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5030682904"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":3.7545,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.93442623,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"246","last_page":"263"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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.9997000098228455,"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/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"}}],"keywords":[{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.822516679763794},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7757328748703003},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.6964297294616699},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.6172402501106262},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.5862832069396973},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5330276489257812},{"id":"https://openalex.org/keywords/fault-model","display_name":"Fault model","score":0.4669816195964813},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.44753387570381165},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.4210273027420044},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4193650782108307},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.41099750995635986},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.3959383964538574},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.39540454745292664},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36729443073272705},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3199228346347809},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1373608112335205},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.08305904269218445},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08009546995162964}],"concepts":[{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.822516679763794},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7757328748703003},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.6964297294616699},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.6172402501106262},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.5862832069396973},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5330276489257812},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.4669816195964813},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.44753387570381165},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.4210273027420044},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4193650782108307},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.41099750995635986},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3959383964538574},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.39540454745292664},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36729443073272705},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3199228346347809},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1373608112335205},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.08305904269218445},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08009546995162964},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-319-89363-1_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89363-1_14","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/a3f5a30f-dbe5-4484-bd5a-f36848182a58","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/a3f5a30f-dbe5-4484-bd5a-f36848182a58","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Landsberg, D, Sun, Y & Kroening, D 2018, Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. in 2018 International Conference on Fundamental Approaches to Software Engineering (FASE 2018): Proceedings. https://doi.org/10.1007%2F978-3-319-89363-1_14","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.qub.ac.uk/portal:openaire/5445f0ee-e645-4948-8fb5-c1059ef46fba","is_oa":true,"landing_page_url":"https://pure.qub.ac.uk/en/publications/5445f0ee-e645-4948-8fb5-c1059ef46fba","pdf_url":"https://pureadmin.qub.ac.uk/ws/files/175645344/OptimisingS.pdf","source":{"id":"https://openalex.org/S4306402319","display_name":"Research Portal (Queen's University Belfast)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126231945","host_organization_name":"Queen's University Belfast","host_organization_lineage":["https://openalex.org/I126231945"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Landsberg, D, Sun, Y & Kroening, D 2018, Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. in 2018 International Conference on Fundamental Approaches to Software Engineering (FASE 2018): Proceedings. vol. 10802, Lecture Notes in Computer Science, vol. 10802, Institute of Electrical and Electronics Engineers Inc., pp. 246-263. https://doi.org/10.1007%2F978-3-319-89363-1_14","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:3fb0e157-ce55-49ae-9bbe-fb1c4dafe29f","is_oa":true,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:3fb0e157-ce55-49ae-9bbe-fb1c4dafe29f","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference item"}],"best_oa_location":{"id":"doi:10.1007/978-3-319-89363-1_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89363-1_14","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W21673769","https://openalex.org/W1507964044","https://openalex.org/W1792767331","https://openalex.org/W1805536084","https://openalex.org/W1965079286","https://openalex.org/W1965094296","https://openalex.org/W1986762820","https://openalex.org/W1986877950","https://openalex.org/W2002960695","https://openalex.org/W2010833880","https://openalex.org/W2013655083","https://openalex.org/W2034590404","https://openalex.org/W2035646720","https://openalex.org/W2037313416","https://openalex.org/W2052581380","https://openalex.org/W2056872793","https://openalex.org/W2058547057","https://openalex.org/W2059018540","https://openalex.org/W2059197810","https://openalex.org/W2062154010","https://openalex.org/W2065236359","https://openalex.org/W2074937108","https://openalex.org/W2080265580","https://openalex.org/W2086521394","https://openalex.org/W2092658016","https://openalex.org/W2110706065","https://openalex.org/W2128049346","https://openalex.org/W2129538349","https://openalex.org/W2133482825","https://openalex.org/W2133728573","https://openalex.org/W2147699889","https://openalex.org/W2162045655","https://openalex.org/W2162376048","https://openalex.org/W2163601989","https://openalex.org/W2168561184","https://openalex.org/W2169212615","https://openalex.org/W2242274110","https://openalex.org/W2308882098","https://openalex.org/W2343875716","https://openalex.org/W2344854322","https://openalex.org/W2544472891","https://openalex.org/W2609398547","https://openalex.org/W2615681808","https://openalex.org/W2617832356","https://openalex.org/W2742140951","https://openalex.org/W2889846305","https://openalex.org/W3103568582","https://openalex.org/W4243127898","https://openalex.org/W4251940725"],"related_works":["https://openalex.org/W4210447066","https://openalex.org/W2024194466","https://openalex.org/W3148663848","https://openalex.org/W3152103604","https://openalex.org/W1601148906","https://openalex.org/W186928357","https://openalex.org/W2094573024","https://openalex.org/W2127105795","https://openalex.org/W2796430303","https://openalex.org/W2119269793"],"abstract_inverted_index":{"Spectrum":[0],"based":[1],"fault":[2,40,91,117,139],"localisation":[3,41,118],"determines":[4],"how":[5],"suspicious":[6],"a":[7,18,21,45,73,78,96,135,138],"line":[8],"of":[9,20,113,145],"code":[10],"is":[11],"with":[12,72,137],"respect":[13],"to":[14,38,44,89],"being":[15,70],"faulty":[16],"as":[17,61],"function":[19],"given":[22,46],"test":[23,32,54,83,101,128],"suite.":[24],"Outstanding":[25],"problems":[26,60],"include":[27],"identifying":[28],"properties":[29],"that":[30,51,81,103,127],"the":[31,82,111,123,146],"suite":[33,84],"should":[34,85],"satisfy":[35,86],"in":[36,87,133],"order":[37,88],"improve":[39],"effectiveness":[42],"subject":[43],"measure,":[47],"and":[48,122],"developing":[49],"methods":[50],"generate":[52],"these":[53,59],"suites":[55,129],"efficiently.":[56],"We":[57],"address":[58],"follows.":[62],"First,":[63],"when":[64],"single":[65],"bug":[66],"optimal":[67],"measures":[68],"are":[69],"used":[71],"single-fault":[74],"program,":[75,125],"we":[76,94,108],"identify":[77],"formal":[79],"property":[80],"optimise":[90],"localisation.":[92],"Second,":[93],"introduce":[95],"new":[97],"method":[98],"which":[99],"generates":[100],"data":[102],"satisfies":[104],"this":[105],"property.":[106],"Finally,":[107],"empirically":[109],"demonstrate":[110],"utility":[112],"our":[114],"implementation":[115],"at":[116],"on":[119],"sv-comp":[120],"benchmarks":[121],"tcas":[124],"demonstrating":[126],"can":[130],"be":[131],"generated":[132],"almost":[134],"second":[136],"identified":[140],"after":[141],"inspecting":[142],"under":[143],"1%":[144],"program.":[147]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":5}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}