{"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":{"id":"doi:10.1109/icsm.2007.4362617","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 IEEE International Conference on Software Maintenance","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/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":true,"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"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5109246182"],"corresponding_institution_ids":["https://openalex.org/I4210114115"],"apc_list":null,"apc_paid":null,"fwci":1.5824,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.89364956,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"55","issue":null,"first_page":"44","last_page":"53"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"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.9998999834060669,"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.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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8047530651092529},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.7664456367492676},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.7223464846611023},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.6863536238670349},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.6013402938842773},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.5257713794708252},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5049768090248108},{"id":"https://openalex.org/keywords/software-maintenance","display_name":"Software maintenance","score":0.48272034525871277},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4673512279987335},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3292769193649292},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.2568926215171814},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.22879934310913086},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15164563059806824},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.14455485343933105}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8047530651092529},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.7664456367492676},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.7223464846611023},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.6863536238670349},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.6013402938842773},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.5257713794708252},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5049768090248108},{"id":"https://openalex.org/C101317890","wikidata":"https://www.wikidata.org/wiki/Q940053","display_name":"Software maintenance","level":4,"score":0.48272034525871277},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4673512279987335},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3292769193649292},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2568926215171814},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.22879934310913086},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15164563059806824},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.14455485343933105}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icsm.2007.4362617","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 IEEE International Conference on Software Maintenance","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W90583330","https://openalex.org/W323988595","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/W4241627488","https://openalex.org/W6603668897","https://openalex.org/W6642147301"],"related_works":["https://openalex.org/W4233410239","https://openalex.org/W3196559688","https://openalex.org/W2078393527","https://openalex.org/W4250848060","https://openalex.org/W2125343911","https://openalex.org/W4384302888","https://openalex.org/W1996197144","https://openalex.org/W3095160805","https://openalex.org/W2006596974","https://openalex.org/W2243368861"],"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]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}