Generation of shorter sequences for high resolution error diagnosis using sequential SAT. - Sung-Jui (Song-Ra) Pan; Kwang-Ting Cheng; John Moondanos; Ziyad Hanna (ASP-DAC, 2006)

A framework for system reliability analysis considering both system error tolerance and component test quality. - Sung-Jui (Song-Ra) Pan; Kwang-Ting Cheng (DATE, 2007)

A Cost Analysis Framework for Multi-core Systems with Spares. - Saeed Shamshiri; Peter Lisherness; Sung-Jui (Song-Ra) Pan; Kwang-Ting Cheng (ITC, 2008)