{"id":"https://openalex.org/W2078956472","doi":"https://doi.org/10.1109/tcad.2013.2252055","title":"Formal Guarantees for Localized Bug Fixes","display_name":"Formal Guarantees for Localized Bug Fixes","publication_year":2013,"publication_date":"2013-07-15","ids":{"openalex":"https://openalex.org/W2078956472","doi":"https://doi.org/10.1109/tcad.2013.2252055","mag":"2078956472"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2013.2252055","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2013.2252055","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/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":"Srobona Mitra","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur, Kharagpur, India","[Department of Computer Science & Engineering, IIT 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":"[Department of Computer Science & Engineering, IIT Kharagpur, Kharagpur, India]","institution_ids":["https://openalex.org/I145894827"]}]},{"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","[Department of Computer Science & Engineering, IIT 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":"[Department of Computer Science & Engineering, IIT Kharagpur, Kharagpur, India]","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103543174","display_name":"Priyankar Ghosh","orcid":null},"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":"Priyankar Ghosh","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur, Kharagpur, India","[Department of Computer Science & Engineering, IIT 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":"[Department of Computer Science & Engineering, IIT 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 Private Limited, Bangalore, Karnataka, India","Intel Technology India Pvt. Ltd, Bangalore, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Technology India Private Limited, Bangalore, Karnataka, 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":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4576,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.83359014,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"32","issue":"8","first_page":"1274","last_page":"1287"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9987000226974487,"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.8032854795455933},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.5963777899742126},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5514624118804932},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.528599739074707},{"id":"https://openalex.org/keywords/regression-testing","display_name":"Regression testing","score":0.5099037885665894},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4945487678050995},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.4178464412689209},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.41245436668395996},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2662769854068756},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.18805035948753357},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.11834955215454102},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.08366584777832031}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8032854795455933},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5963777899742126},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5514624118804932},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.528599739074707},{"id":"https://openalex.org/C161821725","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Regression testing","level":5,"score":0.5099037885665894},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4945487678050995},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.4178464412689209},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.41245436668395996},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2662769854068756},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.18805035948753357},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.11834955215454102},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.08366584777832031},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2013.2252055","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2013.2252055","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":[{"score":0.4099999964237213,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W242588149","https://openalex.org/W340782672","https://openalex.org/W1480531236","https://openalex.org/W1495760906","https://openalex.org/W1515363397","https://openalex.org/W1527623544","https://openalex.org/W1539380957","https://openalex.org/W1549166962","https://openalex.org/W1551256212","https://openalex.org/W1553574558","https://openalex.org/W1559507652","https://openalex.org/W1563456403","https://openalex.org/W1569599494","https://openalex.org/W1596195519","https://openalex.org/W1608751254","https://openalex.org/W1819209966","https://openalex.org/W1982765126","https://openalex.org/W1984248430","https://openalex.org/W1984733309","https://openalex.org/W1988635588","https://openalex.org/W2003233756","https://openalex.org/W2009965218","https://openalex.org/W2013887890","https://openalex.org/W2055770200","https://openalex.org/W2057992103","https://openalex.org/W2087958491","https://openalex.org/W2096950720","https://openalex.org/W2097293815","https://openalex.org/W2103846971","https://openalex.org/W2134886801","https://openalex.org/W2137012271","https://openalex.org/W2140946106","https://openalex.org/W2142896191","https://openalex.org/W2158395308","https://openalex.org/W2158966008","https://openalex.org/W2165759298","https://openalex.org/W2293624369","https://openalex.org/W3138459719","https://openalex.org/W3157888615","https://openalex.org/W4236162975","https://openalex.org/W4239692625","https://openalex.org/W6628896633","https://openalex.org/W6631062194","https://openalex.org/W6632078703","https://openalex.org/W6632737755","https://openalex.org/W6632973628","https://openalex.org/W6633290494","https://openalex.org/W6633401090","https://openalex.org/W6633843490","https://openalex.org/W6634241444","https://openalex.org/W6636473632","https://openalex.org/W6681037589","https://openalex.org/W6683308379","https://openalex.org/W6683354071"],"related_works":["https://openalex.org/W2543101158","https://openalex.org/W1569638199","https://openalex.org/W2740264376","https://openalex.org/W4206999239","https://openalex.org/W2900719967","https://openalex.org/W4388482952","https://openalex.org/W2161928627","https://openalex.org/W2786113878","https://openalex.org/W2787155073","https://openalex.org/W2727867943"],"abstract_inverted_index":{"Bug":[0],"traces":[1],"produced":[2],"in":[3,14,48,71,181,185],"simulation":[4,72],"serve":[5],"as":[6],"the":[7,11,26,32,36,45,49,65,85,90,94,98,101,115,120,128,131,138,147,168,174],"basis":[8],"for":[9,83],"patching":[10],"RTL":[12],"code":[13],"order":[15],"to":[16,23,62,89,106,145],"fix":[17,103,117,149],"a":[18,41,112],"bug.":[19],"It":[20],"is":[21],"important":[22],"prove":[24],"that":[25,107,122,142,173],"patch":[27],"covers":[28],"all":[29],"instances":[30],"of":[31,44,93,100,114,130,140,153,163],"bug":[33,37,50,95,102,116,132,148,183],"scenario;":[34],"otherwise,":[35],"may":[38],"return":[39],"with":[40,104],"different":[42],"valuation":[43],"variables":[46],"involved":[47],"scenario.":[51],"For":[52],"large":[53],"circuits,":[54],"formal":[55,81,176],"methods":[56,82,157,177],"do":[57],"not":[58],"scale":[59],"well":[60],"enough":[61],"comprehensively":[63],"eliminate":[64],"bug,":[66],"and":[67,73,96],"achieving":[68],"adequate":[69],"coverage":[70],"regression":[74],"testing":[75],"becomes":[76],"expensive.":[77],"This":[78],"paper":[79],"proposes":[80],"analyzing":[84,182],"control":[86,108],"trace":[87],"leading":[88],"observed":[91],"manifestation":[92],"verifying":[97],"robustness":[99],"respect":[105],"trace.":[109],"We":[110],"propose":[111],"classification":[113],"based":[118],"on":[119,150],"guarantee":[121],"our":[123,156],"analysis":[124],"can":[125],"provide":[126],"about":[127],"quality":[129],"fix.":[133],"Our":[134],"method":[135],"also":[136],"prescribes":[137],"types":[139,152],"tests":[141],"are":[143,158],"recommended":[144],"validate":[146],"other":[151],"scenarios.":[154],"Since":[155],"more":[159],"scalable":[160],"by":[161],"orders":[162],"magnitude":[164],"than":[165],"model":[166],"checking":[167],"entire":[169],"design,":[170],"we":[171],"believe":[172],"proposed":[175],"hold":[178],"immense":[179],"promise":[180],"fixes":[184],"practice.":[186]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2016,"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"}