@inproceedings{DAC-2003-LuWCMH,
	author        = "Feng Lu and Li-C. Wang and Kwang-Ting Cheng and John Moondanos and Ziyad Hanna",
	booktitle     = "{Proceedings of the 40th Design Automation Conference}",
	doi           = "10.1145/775832.775947",
	isbn          = "1-58113-688-9",
	pages         = "436--441",
	publisher     = "{ACM}",
	title         = "{A signal correlation guided ATPG solver and its applications for solving difficult industrial cases}",
	year          = 2003,
}