{"id":"https://openalex.org/W2097994445","doi":"https://doi.org/10.5555/2616606.2617064","title":"Effective post-silicon failure localization using dynamic program slicing","display_name":"Effective post-silicon failure localization using dynamic program slicing","publication_year":2014,"publication_date":"2014-03-24","ids":{"openalex":"https://openalex.org/W2097994445","doi":"https://doi.org/10.5555/2616606.2617064","mag":"2097994445"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.1000.7943","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1000.7943","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.tau.ac.il/%7Eophirf/DATE2014_localization.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5074915849","display_name":"Ophir Friedler","orcid":"https://orcid.org/0000-0002-7651-8223","observed_orcids":["https://orcid.org/0000-0002-7651-8223"]},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Ophir Friedler","raw_affiliation_strings":["IBM Research Haifa, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research Haifa, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056781682","display_name":"Wisam Kadry","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Wisam Kadry","raw_affiliation_strings":["IBM Research Haifa, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research Haifa, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034159041","display_name":"Arkadiy Morgenshtein","orcid":"https://orcid.org/0000-0003-3462-3129","observed_orcids":["https://orcid.org/0000-0003-3462-3129"]},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Arkadiy Morgenshtein","raw_affiliation_strings":["IBM Research Haifa, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research Haifa, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083923985","display_name":"Amir Nahir","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Amir Nahir","raw_affiliation_strings":["IBM Research Haifa, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research Haifa, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058832650","display_name":"Vitali Sokhin","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Vitali Sokhin","raw_affiliation_strings":["IBM Research Haifa, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research Haifa, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210167297"],"apc_list":null,"apc_paid":null,"fwci":3.2319,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.92283837,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9800000190734863,"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":0.9800000190734863,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.006300000008195639,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.0052999998442828655,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/post-silicon-validation","display_name":"post-silicon validation","score":0.9169999957084656},{"id":"https://openalex.org/keywords/failure-localization","display_name":"failure localization","score":0.9440000057220459},{"id":"https://openalex.org/keywords/program-slicing","display_name":"program slicing","score":0.8510000109672546},{"id":"https://openalex.org/keywords/dynamic-program-slicing","display_name":"dynamic program slicing","score":0.9110000133514404},{"id":"https://openalex.org/keywords/instruction-set-simulator","display_name":"instruction set simulator","score":0.7580000162124634},{"id":"https://openalex.org/keywords/test-case-reduction","display_name":"test case reduction","score":0.5339999794960022},{"id":"https://openalex.org/keywords/hardware-bugs","display_name":"hardware bugs","score":0.3479999899864197}],"concepts":[{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.8746263384819031},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.8582773208618164},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8485225439071655},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.6307479739189148},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.5313668251037598},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5083605647087097},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.5035025477409363},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.4973662197589874},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.47444355487823486},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.4602230191230774},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4577987492084503},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4523204565048218},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4310649037361145},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4302728772163391},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.41957294940948486},{"id":"https://openalex.org/C169903167","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Test set","level":2,"score":0.416415810585022},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.41100674867630005},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32182496786117554},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.31346040964126587},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3084520101547241},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.2399286925792694},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1847277283668518},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.11300534009933472},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.1000.7943","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1000.7943","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.tau.ac.il/%7Eophirf/DATE2014_localization.pdf","raw_type":"text"},{"id":"mag:2097994445","doi":"https://doi.org/10.5555/2616606.2617064","is_oa":false,"landing_page_url":"https://www.cs.tau.ac.il/~ophirf/DATE2014_localization.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306418181","display_name":"Design, Automation, and Test in Europe","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Design, Automation, and Test in Europe","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1982765126","https://openalex.org/W1984846967","https://openalex.org/W1989178937","https://openalex.org/W2005961863","https://openalex.org/W2027534877","https://openalex.org/W2081181743","https://openalex.org/W2092211817","https://openalex.org/W2103846971","https://openalex.org/W2106883354","https://openalex.org/W2108870314","https://openalex.org/W2113717210","https://openalex.org/W2122146819","https://openalex.org/W2123205813","https://openalex.org/W2134643952","https://openalex.org/W2134693143","https://openalex.org/W2141109493","https://openalex.org/W2143849045","https://openalex.org/W2150148998","https://openalex.org/W2156591015","https://openalex.org/W2158302200","https://openalex.org/W2752885492"],"related_works":["https://openalex.org/W2147386446","https://openalex.org/W3150400496","https://openalex.org/W1843474218","https://openalex.org/W2057920668","https://openalex.org/W2027534877","https://openalex.org/W2098771792","https://openalex.org/W2131352602","https://openalex.org/W2988379438","https://openalex.org/W118189576","https://openalex.org/W2153538025"],"abstract_inverted_index":{"Abstract\u2014In":[0],"post-silicon":[1,59],"functional":[2],"validation,":[3],"one":[4],"of":[5,15,58,89,107,116,126,136,139,146,166,178,188,195],"the":[6,13,33,38,55,71,76,95,105,114,117,120,130,134,137,144,147,176],"most":[7],"complex":[8],"and":[9,37,45,133],"time-consuming":[10],"processes":[11],"is":[12,28],"localization":[14,57,102],"an":[16,79],"instruction":[17],"that":[18,53,91,128],"exposes":[19],"a":[20,42,50,66,87,108,123,202,205],"bug":[21],"detected":[22],"at":[23],"system":[24],"level.":[25],"The":[26,99],"task":[27],"particularly":[29],"difficult":[30],"due":[31],"to":[32,85,94,173,181,204],"silicon\u2019s":[34],"limited":[35],"observability":[36],"long":[39],"time":[40],"between":[41],"failure\u2019s":[43],"occurrence":[44],"its":[46],"detection.":[47],"We":[48,150],"propose":[49],"novel":[51],"method":[52,170,199],"automates":[54],"architectural":[56],"test-case":[60,118,203],"failures.":[61],"Our":[62],"proposed":[63,100,153],"tool":[64],"analyzes":[65],"failing":[67],"test-case,":[68],"while":[69],"leveraging":[70,143],"information":[72],"derived":[73],"from":[74],"executing":[75],"test":[77],"on":[78,113,119,185],"Instruction":[80],"Set":[81],"software":[82],"Simulator":[83],"(ISS),":[84],"identify":[86],"set":[88,138],"instructions":[90,127,141,180],"could":[92],"lead":[93],"faulty":[96,131,207],"final":[97],"state.":[98],"failure":[101],"process":[103],"comprises":[104],"creation":[106],"resource":[109],"dependency":[110],"graph":[111],"based":[112],"execution":[115],"ISS,":[121],"determining":[122],"program":[124],"slice":[125],"influence":[129],"resources,":[132],"reduction":[135],"suspicious":[140,179],"by":[142],"knowledge":[145],"correct":[148],"resources.":[149],"evaluate":[151],"our":[152,169,198],"solution":[154],"through":[155],"extensive":[156],"experi-ments.":[157],"Experimental":[158],"results":[159],"show":[160],"that,":[161],"in":[162],"over":[163,189,192],"97":[164],"%":[165,194],"all":[167,196],"cases,":[168,197],"was":[171],"able":[172],"narrow":[174],"down":[175],"list":[177],"under":[182],"2":[183],"instructions,":[184],"average,":[186],"out":[187],"200.":[190],"In":[191],"59":[193],"correctly":[200],"reduced":[201],"single":[206],"instruction.":[208],"I.":[209]},"counts_by_year":[{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2026-10-12T09:40:04.860316","created_date":"2016-06-24T00:00:00"}