{"id":"https://openalex.org/W3144802248","doi":"https://doi.org/10.1109/date.2012.6176627","title":"Formal methods for ranking counterexamples through assumption mining","display_name":"Formal methods for ranking counterexamples through assumption mining","publication_year":2012,"publication_date":"2012-03-01","ids":{"openalex":"https://openalex.org/W3144802248","doi":"https://doi.org/10.1109/date.2012.6176627","mag":"3144802248"},"language":"en","primary_location":{"id":"doi:10.1109/date.2012.6176627","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2012.6176627","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)","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/A5085892724","display_name":"Suman K. Mitra","orcid":"https://orcid.org/0000-0002-1039-5566"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"S. Mitra","raw_affiliation_strings":["Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091345754","display_name":"Amartya Banerjee","orcid":"https://orcid.org/0000-0001-5916-9167"},"institutions":[{"id":"https://openalex.org/I6498739","display_name":"Indian Statistical Institute","ror":"https://ror.org/00q2w1j53","country_code":"IN","type":"education","lineage":["https://openalex.org/I6498739"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"A. Banerjee","raw_affiliation_strings":["Advanced Computing & Microelectronics Unit, Indian Statistical Institute, Kolkata, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Advanced Computing & Microelectronics Unit, Indian Statistical Institute, Kolkata, India","institution_ids":["https://openalex.org/I6498739"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033329960","display_name":"Pallab Dasgupta","orcid":"https://orcid.org/0000-0002-2178-8154"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"P. Dasgupta","raw_affiliation_strings":["Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3269,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.85616075,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"911","last_page":"916"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9955000281333923,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9955000281333923,"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"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9950000047683716,"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"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/counterexample","display_name":"Counterexample","score":0.8792470693588257},{"id":"https://openalex.org/keywords/ranking","display_name":"Ranking (information retrieval)","score":0.700127899646759},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6068973541259766},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.41861337423324585},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4145180583000183},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3594045639038086},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.332261323928833},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.3205709457397461},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2212258279323578},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.12121987342834473}],"concepts":[{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.8792470693588257},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.700127899646759},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6068973541259766},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.41861337423324585},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4145180583000183},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3594045639038086},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.332261323928833},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3205709457397461},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2212258279323578},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.12121987342834473}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/date.2012.6176627","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2012.6176627","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)","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":18,"referenced_works":["https://openalex.org/W1607877490","https://openalex.org/W2054554282","https://openalex.org/W2116223423","https://openalex.org/W2137302701","https://openalex.org/W2147556214","https://openalex.org/W2148735703","https://openalex.org/W2154550022","https://openalex.org/W2164062153","https://openalex.org/W3106729728","https://openalex.org/W3142765463","https://openalex.org/W3148564761","https://openalex.org/W4231857355","https://openalex.org/W4239352486","https://openalex.org/W4240143320","https://openalex.org/W4255079701","https://openalex.org/W6629399866","https://openalex.org/W6644658493","https://openalex.org/W6684145513"],"related_works":["https://openalex.org/W2349952486","https://openalex.org/W1489260687","https://openalex.org/W2775700832","https://openalex.org/W3204670144","https://openalex.org/W2163101548","https://openalex.org/W1988934358","https://openalex.org/W2587222766","https://openalex.org/W4389574038","https://openalex.org/W4387718369","https://openalex.org/W3014450817"],"abstract_inverted_index":{"Bug-fixing":[0],"in":[1,58,81],"deeply":[2,29],"embedded":[3,30,56],"portions":[4,31],"of":[5,32,46,66,69,92,119],"the":[6,12,20,33,44,47,52,55,74,82,90,94,99,106,120,146,157,164,170],"logic":[7,34,57],"is":[8,35,110,136],"typically":[9,60],"accompanied":[10],"by":[11],"post-facto":[13],"addition":[14],"to":[15,43,105,127],"new":[16],"assertions":[17],"which":[18,70],"cover":[19],"bug":[21],"scenario.":[22],"Formally":[23],"verifying":[24,51],"properties":[25,114],"defined":[26],"over":[27],"such":[28],"challenging":[36],"because":[37,73],"formal":[38],"methods":[39],"do":[40],"not":[41,79],"scale":[42],"size":[45],"entire":[48,83,121],"logic,":[49],"and":[50,138,163],"property":[53,134],"on":[54,112,142],"isolation":[59],"throws":[61],"up":[62],"a":[63,125,129,174],"large":[64],"number":[65],"counterexamples,":[67],"many":[68],"are":[71,78,103],"spurious":[72],"scenarios":[75],"they":[76,161],"depict":[77],"possible":[80],"logic.":[84,122],"In":[85],"this":[86],"paper":[87],"we":[88],"introduce":[89],"notion":[91],"ranking":[93,109,166],"counterexamples":[95,102,140,159],"so":[96],"that":[97,135],"only":[98],"most":[100],"likely":[101],"presented":[104],"designer.":[107],"Our":[108],"based":[111,141],"assume":[113,133,148],"mined":[115,147],"from":[116],"simulation":[117],"traces":[118],"We":[123],"define":[124],"metric":[126],"compute":[128],"belief":[130],"for":[131],"each":[132],"mined,":[137],"rank":[139],"their":[143],"conflicts":[144],"with":[145],"properties.":[149],"Experimental":[150],"results":[151],"demonstrate":[152],"an":[153],"amazing":[154],"correlation":[155],"between":[156],"real":[158],"(if":[160],"exist)":[162],"proposed":[165,171],"metric,":[167],"thereby":[168],"establishing":[169],"method":[172],"as":[173],"very":[175],"promising":[176],"verification":[177],"approach.":[178]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}