{"id":"https://openalex.org/W2157158367","doi":"https://doi.org/10.1109/icsm.2007.4362617","title":"Evidence-Based Analysis and Inferring Preconditions for Bug Detection","display_name":"Evidence-Based Analysis and Inferring Preconditions for Bug Detection","publication_year":2007,"publication_date":"2007-10-01","ids":{"openalex":"https://openalex.org/W2157158367","doi":"https://doi.org/10.1109/icsm.2007.4362617","mag":"2157158367"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsm.2007.4362617","pdf_url":null,"source":{"id":"https://openalex.org/S4210174939","display_name":"Proceedings/Proceedings - Conference on Software Maintenance","issn_l":"1063-6773","issn":["1063-6773","2576-3148"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5109246182","display_name":"Dani\u00ebl Brand","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel Brand","raw_affiliation_strings":["IBM Thomas J. Watson Research Center, Yorktown Heights, NY, USA"],"affiliations":[{"raw_affiliation_string":"IBM Thomas J. Watson Research Center, Yorktown Heights, NY, USA","institution_ids":["https://openalex.org/I4210114115"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064814030","display_name":"Marcio Buss","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marcio Buss","raw_affiliation_strings":["Columbia University, New York, NY, USA"],"affiliations":[{"raw_affiliation_string":"Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047411440","display_name":"Vugranam C. Sreedhar","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vugranam C. Sreedhar","raw_affiliation_strings":["IBM Thomas J. Watson Research Center, Hawthorne, NY, USA"],"affiliations":[{"raw_affiliation_string":"IBM Thomas J. Watson Research Center, Hawthorne, NY, USA","institution_ids":["https://openalex.org/I4210114115"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.119,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":3,"citation_normalized_percentile":{"value":0.881272,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":73,"max":76},"biblio":{"volume":null,"issue":null,"first_page":"44","last_page":"53"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9999,"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.9999,"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.9998,"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.9998,"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/software-bug","display_name":"Software bug","score":0.6013403},{"id":"https://openalex.org/keywords/software-maintenance","display_name":"Software Maintenance","score":0.48272035}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.80475307},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.76644564},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.7223465},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.6863536},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.6013403},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.5257714},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5049768},{"id":"https://openalex.org/C101317890","wikidata":"https://www.wikidata.org/wiki/Q940053","display_name":"Software maintenance","level":4,"score":0.48272035},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46735123},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32927692},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.25689262},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.22879934},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15164563},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.14455485}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsm.2007.4362617","pdf_url":null,"source":{"id":"https://openalex.org/S4210174939","display_name":"Proceedings/Proceedings - Conference on Software Maintenance","issn_l":"1063-6773","issn":["1063-6773","2576-3148"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":21,"referenced_works":["https://openalex.org/W1568658445","https://openalex.org/W1572470107","https://openalex.org/W1968027261","https://openalex.org/W1980024633","https://openalex.org/W1989547358","https://openalex.org/W2044590882","https://openalex.org/W2070485163","https://openalex.org/W2070869623","https://openalex.org/W2101512909","https://openalex.org/W2103709633","https://openalex.org/W2103714221","https://openalex.org/W2106017511","https://openalex.org/W2107503612","https://openalex.org/W2134311998","https://openalex.org/W2167003849","https://openalex.org/W2295399529","https://openalex.org/W3000560506","https://openalex.org/W3004040842","https://openalex.org/W323988595","https://openalex.org/W4241627488","https://openalex.org/W90583330"],"related_works":["https://openalex.org/W4384302888","https://openalex.org/W4250848060","https://openalex.org/W4233410239","https://openalex.org/W3196559688","https://openalex.org/W3095160805","https://openalex.org/W2243368861","https://openalex.org/W2125343911","https://openalex.org/W2078393527","https://openalex.org/W2006596974","https://openalex.org/W1996197144"],"abstract_inverted_index":{"An":[0],"important":[1],"part":[2],"of":[3,41,47,101],"software":[4,8,21],"maintenance":[5],"is":[6,50],"fixing":[7],"errors":[9],"and":[10,19],"bugs.":[11],"Static":[12],"analysis":[13,31,68,74,104,115],"based":[14],"tools":[15],"can":[16],"tremendously":[17],"help":[18],"ease":[20],"maintenance.":[22],"In":[23,62,106],"order":[24],"to":[25,37,69,77,86],"gain":[26],"user":[27],"acceptance,":[28],"a":[29,57],"static":[30,103],"tool":[32],"for":[33],"detecting":[34],"bugs":[35],"has":[36],"minimize":[38],"the":[39,51,95,99,114],"incidence":[40],"false":[42,48],"alarms.":[43],"A":[44],"common":[45],"cause":[46],"alarms":[49],"uncertainty":[52],"over":[53,81],"which":[54],"inputs":[55],"into":[56],"program":[58],"are":[59],"considered":[60],"legal.":[61],"this":[63,71,107],"paper":[64,108],"we":[65,109],"introduce":[66],"evidence-based":[67],"address":[70],"problem.":[72],"Evidence-based":[73],"allows":[75],"one":[76],"infer":[78],"legal":[79],"preconditions":[80],"inputs,":[82],"without":[83],"having":[84],"users":[85],"explicitly":[87],"specify":[88],"those":[89],"preconditions.":[90],"We":[91],"have":[92],"found":[93],"that":[94],"approach":[96],"drastically":[97],"improves":[98],"usability":[100],"such":[102],"tools.":[105],"report":[110],"our":[111],"experience":[112],"with":[113],"in":[116],"an":[117],"industrial":[118],"deployment.":[119]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2157158367","counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2024-12-26T20:48:54.281195","created_date":"2016-06-24"}