Object state testing and fault analysis for reliable software systems. - David Chenho Kung; Y. Lu; N. Venugopalan; Pei Hsia; Yasufumi Toyoshima; Cris Chen; Jerry Gao 002 (ISSRE, 1996)