Publication
(All)

Results 1-2 of 2 (Search time: 0.019 seconds).

Issue DateTitleAuthor(s)SourcescopusWOSFulltext/Archive link
12010Automatic Constraint Generation for Software-Based Post-Silicon Bug RepairH. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO 19th International Workshop on Logic and Synthesis(IWLS 2010) 
22010Automating Unreachable Code Diagnosis and DebuggingH. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO 19th International Workshop on Logic and Synthesis(IWLS 2010)