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