H. Z. ChouK. H. ChangSY-YEN KUO2018-09-102018-09-102010-06http://scholars.lib.ntu.edu.tw/handle/123456789/359266Automatic Constraint Generation for Software-Based Post-Silicon Bug Repairconference paper