Catching and Identifying Bugs in Register Allocation. - Huang, Yuqiang; Childers, Bruce R.; Soffa, Mary Lou (2006)