{"id":"https://openalex.org/W3147785239","doi":"https://doi.org/10.1109/icse.2012.6227185","title":"Leveraging test generation and specification mining for automated bug detection without false positives","display_name":"Leveraging test generation and specification mining for automated bug detection without false positives","publication_year":2012,"publication_date":"2012-06-01","ids":{"openalex":"https://openalex.org/W3147785239","doi":"https://doi.org/10.1109/icse.2012.6227185","mag":"3147785239"},"language":"en","primary_location":{"id":"doi:10.1109/icse.2012.6227185","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2012.6227185","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 34th International Conference on Software Engineering (ICSE)","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/A5013438083","display_name":"Michael Pradel","orcid":"https://orcid.org/0000-0003-1623-498X"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Michael Pradel","raw_affiliation_strings":["Department of Computer Science, ETH Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026061564","display_name":"Thomas Gro\u00df","orcid":"https://orcid.org/0000-0002-7766-2454"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Thomas R. Gross","raw_affiliation_strings":["Department of Computer Science, ETH Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I35440088"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"288","last_page":"298"},"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.9998000264167786,"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.9990000128746033,"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/false-positive-paradox","display_name":"False positive paradox","score":0.9516194462776184},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8274010419845581},{"id":"https://openalex.org/keywords/spurious-relationship","display_name":"Spurious relationship","score":0.6922558546066284},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5954564809799194},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.5415655970573425},{"id":"https://openalex.org/keywords/true-positive-rate","display_name":"True positive rate","score":0.4417738914489746},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.4394257366657257},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.43669992685317993},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4265254735946655},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4147791564464569},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40154847502708435},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2256241738796234},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20217031240463257},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.19643151760101318}],"concepts":[{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.9516194462776184},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8274010419845581},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.6922558546066284},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5954564809799194},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.5415655970573425},{"id":"https://openalex.org/C2989486834","wikidata":"https://www.wikidata.org/wiki/Q3808900","display_name":"True positive rate","level":2,"score":0.4417738914489746},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.4394257366657257},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.43669992685317993},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4265254735946655},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4147791564464569},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40154847502708435},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2256241738796234},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20217031240463257},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.19643151760101318},{"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.1109/icse.2012.6227185","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2012.6227185","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 34th International Conference on Software Engineering (ICSE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W1491859150","https://openalex.org/W1518151261","https://openalex.org/W1533857697","https://openalex.org/W1767990287","https://openalex.org/W2008626182","https://openalex.org/W2014097364","https://openalex.org/W2030972311","https://openalex.org/W2059215200","https://openalex.org/W2093938715","https://openalex.org/W2097305086","https://openalex.org/W2102816555","https://openalex.org/W2107709519","https://openalex.org/W2109612250","https://openalex.org/W2111141292","https://openalex.org/W2112925845","https://openalex.org/W2122947685","https://openalex.org/W2124081952","https://openalex.org/W2124516932","https://openalex.org/W2126775986","https://openalex.org/W2130730821","https://openalex.org/W2131102467","https://openalex.org/W2136646111","https://openalex.org/W2140697469","https://openalex.org/W2145020764","https://openalex.org/W2150593762","https://openalex.org/W2151674625","https://openalex.org/W2153964911","https://openalex.org/W2155233265","https://openalex.org/W2157083801","https://openalex.org/W2158391928","https://openalex.org/W2160140538","https://openalex.org/W2166091242","https://openalex.org/W2172260321","https://openalex.org/W2294152467","https://openalex.org/W2295399529","https://openalex.org/W2962708851","https://openalex.org/W3106729728","https://openalex.org/W3141181691","https://openalex.org/W4240838459","https://openalex.org/W4241947695","https://openalex.org/W4244217062","https://openalex.org/W4255079701","https://openalex.org/W6629395698","https://openalex.org/W6631031450","https://openalex.org/W6632123082","https://openalex.org/W6676928571"],"related_works":["https://openalex.org/W2521930763","https://openalex.org/W2888962833","https://openalex.org/W2740795878","https://openalex.org/W2185017216","https://openalex.org/W2016345697","https://openalex.org/W3202241127","https://openalex.org/W4226343933","https://openalex.org/W4220908681","https://openalex.org/W3147785239","https://openalex.org/W2114801793"],"abstract_inverted_index":{"Mining":[0],"specifications":[1,68],"and":[2,51,66,78,100,133],"using":[3],"them":[4],"for":[5,63],"bug":[6],"detection":[7],"is":[8],"a":[9,31,60,76],"promising":[10],"way":[11],"to":[12,33,74],"reveal":[13],"bugs":[14],"in":[15,89,137],"programs.":[16,141],"Existing":[17],"approaches":[18,40],"suffer":[19],"from":[20],"two":[21,90],"problems.":[22],"First,":[23],"dynamic":[24],"specification":[25,98],"miners":[26],"require":[27],"input":[28,73],"that":[29,44,48,114],"drives":[30],"program":[32,77,96,122],"generate":[34],"common":[35],"usage":[36],"patterns.":[37],"Second,":[38],"existing":[39,72],"report":[41],"false":[42,81,131],"positives,":[43],"is,":[45],"spurious":[46],"warnings":[47,113],"mislead":[49],"developers":[50],"reduce":[52],"the":[53,56,95,107,121],"practicability":[54],"of":[55],"approach.":[57],"We":[58],"present":[59],"novel":[61],"technique":[62,84],"dynamically":[64],"mining":[65],"checking":[67],"without":[69,79],"relying":[70],"on":[71],"drive":[75,94],"reporting":[80],"positives.":[82],"Our":[83,127],"leverages":[85],"automatically":[86],"generated":[87],"tests":[88,93],"ways:":[91],"Passing":[92],"during":[97],"mining,":[99],"failing":[101],"test":[102,118],"executions":[103],"are":[104,112],"checked":[105],"against":[106],"mined":[108],"specifications.":[109,126],"The":[110],"output":[111],"show":[115],"with":[116],"concrete":[117],"cases":[119],"how":[120],"violates":[123],"commonly":[124],"accepted":[125],"implementation":[128],"reports":[129],"no":[130],"positives":[132,136],"54":[134],"true":[135],"ten":[138],"well-tested":[139],"Java":[140]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}