Using Abstraction to Guide the Search for Long Error Traces Journal Article

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• March 1, 2013

Full Author List

• Nanshi K; Somenzi F

published in

• IEEE Transactions on Computer - Aided Design of Integrated Circuits and Systems  Journal

Other Profiles

Digital Object Identifier (DOI)

• 10.1109/TCAD.2012.2228266

Additional Document Info

start page

• 453

end page

• 466

volume

• 32

issue

• 3