{"id":"https://openalex.org/W4410537799","doi":"https://doi.org/10.1109/icst62969.2025.10988920","title":"Suspicious Types and Bad Neighborhoods: Filtering Spectra with Compiler Information","display_name":"Suspicious Types and Bad Neighborhoods: Filtering Spectra with Compiler Information","publication_year":2025,"publication_date":"2025-03-31","ids":{"openalex":"https://openalex.org/W4410537799","doi":"https://doi.org/10.1109/icst62969.2025.10988920"},"language":"en","primary_location":{"id":"doi:10.1109/icst62969.2025.10988920","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst62969.2025.10988920","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Conference on Software Testing, Verification and Validation (ICST)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064405499","display_name":"Leonhard Applis","orcid":"https://orcid.org/0000-0002-4341-8840"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Leonhard Applis","raw_affiliation_strings":["National University of Singapore,Singapore,Singapore"],"raw_orcid":"https://orcid.org/0000-0002-4341-8840","affiliations":[{"raw_affiliation_string":"National University of Singapore,Singapore,Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011406645","display_name":"Matth\u00edas P\u00e1ll Gissurarson","orcid":"https://orcid.org/0000-0001-6693-8454"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Matth\u00edas P\u00e1ll Gissurarson","raw_affiliation_strings":["Chalmers University of Technology,Gothenburg,Sweden"],"raw_orcid":"https://orcid.org/0000-0001-6693-8454","affiliations":[{"raw_affiliation_string":"Chalmers University of Technology,Gothenburg,Sweden","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067127346","display_name":"Annibale Panichella","orcid":"https://orcid.org/0000-0002-7395-3588"},"institutions":[{"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":["NL"],"is_corresponding":false,"raw_author_name":"Annibale Panichella","raw_affiliation_strings":["TU Delft,Delft,The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Delft,Delft,The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"233","last_page":"243"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.4927999973297119,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.4927999973297119,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/compiler","display_name":"Compiler","score":0.8263402581214905},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7459464073181152},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4893147647380829}],"concepts":[{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8263402581214905},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7459464073181152},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4893147647380829}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icst62969.2025.10988920","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst62969.2025.10988920","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Conference on Software Testing, Verification and Validation (ICST)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.5600000023841858,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W1484769199","https://openalex.org/W1950030762","https://openalex.org/W1980421405","https://openalex.org/W1990785546","https://openalex.org/W2002960695","https://openalex.org/W2010833880","https://openalex.org/W2013655083","https://openalex.org/W2045428103","https://openalex.org/W2053109026","https://openalex.org/W2056514427","https://openalex.org/W2065236359","https://openalex.org/W2067416361","https://openalex.org/W2075445701","https://openalex.org/W2077258409","https://openalex.org/W2092799710","https://openalex.org/W2096370414","https://openalex.org/W2101819268","https://openalex.org/W2113625327","https://openalex.org/W2124068357","https://openalex.org/W2147002252","https://openalex.org/W2156723666","https://openalex.org/W2162045655","https://openalex.org/W2167381349","https://openalex.org/W2174442795","https://openalex.org/W2343875716","https://openalex.org/W2586946380","https://openalex.org/W2620081107","https://openalex.org/W2900534536","https://openalex.org/W2903730147","https://openalex.org/W2980518752","https://openalex.org/W2999102949","https://openalex.org/W2999598427","https://openalex.org/W3014312405","https://openalex.org/W3048264264","https://openalex.org/W3135321289","https://openalex.org/W3215061199","https://openalex.org/W4205250223","https://openalex.org/W4241947695","https://openalex.org/W4256046779","https://openalex.org/W4256733321","https://openalex.org/W4295950821","https://openalex.org/W4384009617"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4240253816","https://openalex.org/W3096456556","https://openalex.org/W1713081424","https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100"],"abstract_inverted_index":{"Spectrum-based":[0],"fault":[1,220],"localization":[2],"and":[3,59,73,82,115,153,175,209],"its":[4,20],"formulas":[5,79,112,164],"often":[6],"struggle":[7],"with":[8],"large":[9,27],"spectra":[10,52,98],"containing":[11],"many":[12],"expressions":[13],"irrelevant":[14],"to":[15,49,64,117,127,138,167],"the":[16,51,66,75,141,181],"fault,":[17],"which":[18,212],"impacts":[19],"overall":[21],"effectiveness.":[22],"Spectra":[23],"can":[24,190,213],"inflate":[25],"for":[26,131,148,151,155],"programs":[28],"or":[29],"on":[30,54,88],"finer":[31],"granularity,":[32],"such":[33,135],"as":[34,136],"expression-level":[35],"coverage":[36],"from":[37,202],"other":[38],"languages":[39],"like":[40,113],"Haskell.":[41],"To":[42],"address":[43],"this,":[44],"we":[45,121],"introduce":[46],"25":[47],"rules":[48,161],"filter":[50],"based":[53],"type":[55],"information,":[56],"AST":[57],"attributes,":[58],"test":[60,179],"results.":[61],"These":[62],"aim":[63],"reduce":[65,97],"suspiciousness":[67],"of":[68,77,125,146,171],"innocent":[69],"locations":[70],"(bug-free":[71],"expressions)":[72,105],"improve":[74],"performance":[76,193],"SBFL":[78,111],"w.r.t.":[80,129],"TOP50":[81,130],"TOP100":[83],"metrics.":[84],"Our":[85,183],"experiment,":[86],"conducted":[87],"11":[89],"Haskell":[90],"programs,":[91],"shows":[92],"that":[93,186],"individual":[94,132],"filters":[95,143,189],"significantly":[96],"size,":[99],"although":[100],"some":[101],"data":[102],"points":[103],"(faulty":[104],"become":[106],"unsolvable.":[107],"By":[108],"applying":[109],"established":[110],"Ochiai":[114],"Tarantula":[116],"these":[118],"reduced":[119],"spectra,":[120],"observe":[122],"average":[123],"improvements":[124,145],"up":[126],"40%":[128],"soft":[133],"rules,":[134],"proximity":[137,166],"failure.":[139],"Combining":[140],"best-performing":[142],"yields":[144],"45.5%":[147,154],"Ochiai,":[149],"67.4%":[150],"DStar2,":[152],"Tarantula.":[156],"The":[157],"most":[158],"effective":[159],"filtering":[160],"over":[162],"all":[163],"captured":[165],"failing":[168,178],"expressions,":[169],"usage":[170],"a":[172,177],"non-unique":[173],"type,":[174],"whether":[176],"covered":[180],"expression.":[182],"results":[184],"suggest":[185],"simple,":[187],"straightforward":[188],"produce":[191],"substantial":[192],"gains.":[194],"We":[195],"further":[196],"identify":[197],"4":[198],"uncovered":[199],"bugs":[200],"originating":[201],"code":[203],"generation":[204],"(common":[205],"in":[206],"functional":[207],"programming)":[208],"system":[210],"tests,":[211],"not":[214],"be":[215],"addressed":[216],"purely":[217],"by":[218],"spectrum-based":[219],"localization.":[221]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}