@article {2908, title = {An automated functional test and fault detection method}, year = {2003}, author = {Peng Xu and Moosung Kim and Philip Haves} }