Xu, Peng, Moosung  Kim, and Philip  Haves. An automated functional test and fault detection method. 2003. LBNL-53512.