{"id":"https://openalex.org/W1970510532","doi":"https://doi.org/10.1109/tcad.2013.2276627","title":"Counterexample Ranking Using Mined Invariants","display_name":"Counterexample Ranking Using Mined Invariants","publication_year":2013,"publication_date":"2013-11-19","ids":{"openalex":"https://openalex.org/W1970510532","doi":"https://doi.org/10.1109/tcad.2013.2276627","mag":"1970510532"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2013.2276627","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2013.2276627","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"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":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-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/A5110016581","display_name":"Srobona Mitra","orcid":null},"institutions":[{"id":"https://openalex.org/I4210129961","display_name":"IBM (India)","ror":"https://ror.org/034ahpr11","country_code":"IN","type":"company","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210129961"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Srobona Mitra","raw_affiliation_strings":["IBM India Pvt. Ltd., Bangalore, India","IBM India Pvt. Ltd., Bangalore, India#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM India Pvt. Ltd., Bangalore, India","institution_ids":["https://openalex.org/I4210129961"]},{"raw_affiliation_string":"IBM India Pvt. Ltd., Bangalore, India#TAB#","institution_ids":["https://openalex.org/I4210129961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076542292","display_name":"Ansuman Banerjee","orcid":"https://orcid.org/0000-0003-0220-646X"},"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":"Ansuman Banerjee","raw_affiliation_strings":["Advanced Computing and Microelectronics Unit, Indian Statistical Institute, Kolkata, India","Adv. Comput. & Microelectron.Unit, Indian Stat. Inst., Kolkata, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Advanced Computing and Microelectronics Unit, Indian Statistical Institute, Kolkata, India","institution_ids":["https://openalex.org/I6498739"]},{"raw_affiliation_string":"Adv. Comput. & Microelectron.Unit, Indian Stat. Inst., Kolkata, India","institution_ids":["https://openalex.org/I6498739"]}]},{"author_position":"middle","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":"Pallab Dasgupta","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","Dept. of Computer Science and Engg, Indian Institute of Technology Kharagpur, Kharagpur, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]},{"raw_affiliation_string":"Dept. of Computer Science and Engg, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101899252","display_name":"Harish Kumar","orcid":"https://orcid.org/0000-0003-3000-6772"},"institutions":[{"id":"https://openalex.org/I4210146682","display_name":"Intel (India)","ror":"https://ror.org/04f2n1245","country_code":"IN","type":"company","lineage":["https://openalex.org/I1343180700","https://openalex.org/I4210146682"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Harish Kumar","raw_affiliation_strings":["Intel Technology India Pvt. Ltd., Bangalore, India","Intel Technology India Pvt. Ltd, Bangalore, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Technology India Pvt. Ltd., Bangalore, India","institution_ids":["https://openalex.org/I4210146682"]},{"raw_affiliation_string":"Intel Technology India Pvt. Ltd, Bangalore, India","institution_ids":["https://openalex.org/I4210146682"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.6724,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.878889,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"32","issue":"12","first_page":"1978","last_page":"1991"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"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.9997000098228455,"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.9994000196456909,"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/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9435787200927734},{"id":"https://openalex.org/keywords/ranking","display_name":"Ranking (information retrieval)","score":0.7003276944160461},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.6923995018005371},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.674584150314331},{"id":"https://openalex.org/keywords/spurious-relationship","display_name":"Spurious relationship","score":0.6656708121299744},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5685936212539673},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5148395895957947},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.4710621237754822},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39567452669143677},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3721446394920349},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30658623576164246},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23526844382286072},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.22532525658607483},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1248827576637268},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.08159264922142029},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07458841800689697}],"concepts":[{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.9435787200927734},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.7003276944160461},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.6923995018005371},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.674584150314331},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.6656708121299744},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5685936212539673},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5148395895957947},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.4710621237754822},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39567452669143677},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3721446394920349},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30658623576164246},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23526844382286072},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.22532525658607483},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1248827576637268},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.08159264922142029},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07458841800689697},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2013.2276627","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2013.2276627","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"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":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1493919131","https://openalex.org/W1511234963","https://openalex.org/W2065160761","https://openalex.org/W2076119072","https://openalex.org/W2116223423","https://openalex.org/W2116409384","https://openalex.org/W2137302701","https://openalex.org/W2147556214","https://openalex.org/W2148735703","https://openalex.org/W2152864604","https://openalex.org/W2154550022","https://openalex.org/W2159080219","https://openalex.org/W2168238416","https://openalex.org/W2623293810","https://openalex.org/W3106729728","https://openalex.org/W3142765463","https://openalex.org/W3144802248","https://openalex.org/W3148564761","https://openalex.org/W4231857355","https://openalex.org/W4239352486","https://openalex.org/W4255079701","https://openalex.org/W6629399866","https://openalex.org/W6677376251","https://openalex.org/W6684904828"],"related_works":["https://openalex.org/W2349952486","https://openalex.org/W2587222766","https://openalex.org/W4308502799","https://openalex.org/W1981142672","https://openalex.org/W4361986567","https://openalex.org/W2006786376","https://openalex.org/W2949974473","https://openalex.org/W4288083173","https://openalex.org/W1967993207","https://openalex.org/W3160516639"],"abstract_inverted_index":{"Bug-fixing":[0],"in":[1,58,81],"deeply":[2,30],"embedded":[3,31,56],"portions":[4,32],"of":[5,15,33,47,66,69,92,119],"the":[6,12,20,25,34,45,48,52,55,74,82,90,94,99,106,120,146,157,164,170],"logic":[7,35,57],"is":[8,36,110,136],"typically":[9,60],"accompanied":[10],"by":[11],"postfacto":[13],"addition":[14],"new":[16],"assertions,":[17],"which":[18,70],"cover":[19],"bug":[21],"scenario.":[22],"Formally":[23],"verifying":[24],"assertions":[26],"defined":[27],"over":[28],"such":[29],"challenging":[37],"because":[38,73],"formal":[39],"methods":[40],"do":[41],"not":[42,79],"scale":[43],"to":[44,105,127],"size":[46],"entire":[49,83,121],"logic.":[50,84,122],"Verifying":[51],"assertion":[53],"on":[54,112,142],"isolation":[59],"throws":[61],"up":[62],"a":[63,125,129,153,174],"large":[64],"number":[65],"counterexamples,":[67],"many":[68],"are":[71,78,103],"spurious":[72],"scenarios":[75],"they":[76,161],"depict":[77],"possible":[80],"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],"properties":[114],"mined":[115,147],"from":[116],"simulation":[117],"traces":[118],"We":[123],"define":[124],"metric":[126],"compute":[128],"belief":[130],"for":[131],"each":[132],"property":[134],"mined,":[137],"and":[138,163],"rank":[139],"their":[143],"relationships":[144],"with":[145],"properties.":[149],"Experimental":[150],"results":[151],"demonstrate":[152],"remarkable":[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":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}