{"id":"https://openalex.org/W2079599301","doi":"https://doi.org/10.1145/1273463.1273486","title":"Finding what's not there","display_name":"Finding what's not there","publication_year":2007,"publication_date":"2007-07-09","ids":{"openalex":"https://openalex.org/W2079599301","doi":"https://doi.org/10.1145/1273463.1273486","mag":"2079599301"},"language":"en","primary_location":{"id":"doi:10.1145/1273463.1273486","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1273463.1273486","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 international symposium on Software testing and analysis","raw_type":"proceedings-article"},"type":"article","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/A5017407221","display_name":"Ray-Yaung Chang","orcid":null},"institutions":[{"id":"https://openalex.org/I58956616","display_name":"Case Western Reserve University","ror":"https://ror.org/051fd9666","country_code":"US","type":"education","lineage":["https://openalex.org/I58956616"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ray-Yaung Chang","raw_affiliation_strings":["Case Western Reserve University","Case Western Reserve University ,"],"affiliations":[{"raw_affiliation_string":"Case Western Reserve University","institution_ids":["https://openalex.org/I58956616"]},{"raw_affiliation_string":"Case Western Reserve University ,","institution_ids":["https://openalex.org/I58956616"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060574497","display_name":"Andy Podgurski","orcid":null},"institutions":[{"id":"https://openalex.org/I58956616","display_name":"Case Western Reserve University","ror":"https://ror.org/051fd9666","country_code":"US","type":"education","lineage":["https://openalex.org/I58956616"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andy Podgurski","raw_affiliation_strings":["Case Western Reserve University","Case Western Reserve University ,"],"affiliations":[{"raw_affiliation_string":"Case Western Reserve University","institution_ids":["https://openalex.org/I58956616"]},{"raw_affiliation_string":"Case Western Reserve University ,","institution_ids":["https://openalex.org/I58956616"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101465493","display_name":"Jiong Yang","orcid":"https://orcid.org/0000-0003-0328-2317"},"institutions":[{"id":"https://openalex.org/I58956616","display_name":"Case Western Reserve University","ror":"https://ror.org/051fd9666","country_code":"US","type":"education","lineage":["https://openalex.org/I58956616"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jiong Yang","raw_affiliation_strings":["Case Western Reserve University","Case Western Reserve University ,"],"affiliations":[{"raw_affiliation_string":"Case Western Reserve University","institution_ids":["https://openalex.org/I58956616"]},{"raw_affiliation_string":"Case Western Reserve University ,","institution_ids":["https://openalex.org/I58956616"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5017407221"],"corresponding_institution_ids":["https://openalex.org/I58956616"],"apc_list":null,"apc_paid":null,"fwci":19.9144,"has_fulltext":false,"cited_by_count":68,"citation_normalized_percentile":{"value":0.99095903,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"163","last_page":"173"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":1.0,"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":1.0,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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.9994999766349792,"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/generality","display_name":"Generality","score":0.779738187789917},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7718141078948975},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.5988724231719971},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4858214855194092},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.47156473994255066},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4705531895160675},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4696689546108246},{"id":"https://openalex.org/keywords/program-comprehension","display_name":"Program comprehension","score":0.44533848762512207},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.44141480326652527},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.37544235587120056},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3725132346153259},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24000176787376404},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.22392350435256958}],"concepts":[{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.779738187789917},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7718141078948975},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.5988724231719971},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4858214855194092},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.47156473994255066},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4705531895160675},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4696689546108246},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.44533848762512207},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.44141480326652527},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.37544235587120056},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3725132346153259},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24000176787376404},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.22392350435256958},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1273463.1273486","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1273463.1273486","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 international symposium on Software testing and analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7699999809265137,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W4909282","https://openalex.org/W148947610","https://openalex.org/W150374354","https://openalex.org/W1480385994","https://openalex.org/W1522369122","https://openalex.org/W1527762547","https://openalex.org/W1567770365","https://openalex.org/W1596249124","https://openalex.org/W1605319014","https://openalex.org/W1995436232","https://openalex.org/W2000767141","https://openalex.org/W2006159725","https://openalex.org/W2011039300","https://openalex.org/W2019827052","https://openalex.org/W2033405938","https://openalex.org/W2043811931","https://openalex.org/W2054520963","https://openalex.org/W2070726469","https://openalex.org/W2096491586","https://openalex.org/W2098629748","https://openalex.org/W2099471229","https://openalex.org/W2101156500","https://openalex.org/W2104301886","https://openalex.org/W2107697055","https://openalex.org/W2108560469","https://openalex.org/W2118349699","https://openalex.org/W2119682413","https://openalex.org/W2124666592","https://openalex.org/W2126859103","https://openalex.org/W2133518331","https://openalex.org/W2137138515","https://openalex.org/W2144344516","https://openalex.org/W2154897437","https://openalex.org/W2161101035","https://openalex.org/W2162481448","https://openalex.org/W2166007208","https://openalex.org/W2170726034","https://openalex.org/W2177797324","https://openalex.org/W3010856131","https://openalex.org/W3148332313","https://openalex.org/W4241947695","https://openalex.org/W4244831466"],"related_works":["https://openalex.org/W2122804569","https://openalex.org/W2240979497","https://openalex.org/W2025599150","https://openalex.org/W3104152981","https://openalex.org/W1924474669","https://openalex.org/W2598318421","https://openalex.org/W4241100723","https://openalex.org/W2098192829","https://openalex.org/W2165862892","https://openalex.org/W2081938705"],"abstract_inverted_index":{"Neglected":[0],"conditions":[1,20,124],"are":[2,77,96],"an":[3,107],"important":[4],"but":[5],"difficult-to-find":[6],"class":[7],"of":[8,61,82,106,110,128],"software":[9],"defects.":[10],"This":[11],"paper":[12],"presents":[13],"a":[14,37],"novel":[15],"approach":[16,50,112],"to":[17,31,41,54,64,98,118],"revealing":[18],"neglected":[19,47,123],"that":[21,45],"integrates":[22],"static":[23],"program":[24,83],"analysis":[25],"and":[26,40,86,91,122],"advanced":[27],"data":[28],"mining":[29,90,94],"techniques":[30],"discover":[32,42,119],"implicit":[33],"conditional":[34,120],"rules":[35,63,76,121],"in":[36,113,125],"code":[38],"base":[39],"rule":[43,70],"violations":[44],"indicate":[46,55],"conditions.":[48],"The":[49],"requires":[51],"the":[52,59,62,104,111],"user":[53],"minimal":[56],"constraints":[57],"on":[58],"context":[60],"be":[65],"sought,":[66],"rather":[67],"than":[68],"specific":[69],"templates.":[71],"To":[72],"permit":[73],"this":[74],"generality,":[75],"modeled":[78],"as":[79],"graph":[80],"minors":[81],"dependence":[84],"graphs,":[85],"both":[87],"frequent":[88,92],"itemset":[89],"subgraph":[93],"algorithms":[95],"employed":[97],"identify":[99],"candidate":[100],"rules.":[101],"We":[102],"report":[103],"results":[105],"empirical":[108],"evaluation":[109],"which":[114],"it":[115],"was":[116],"used":[117],"~25,000":[126],"lines":[127],"source":[129],"code.":[130]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":8}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}