On object state testing. - David Chenho Kung; N. Suchak; Jerry Zeyu Gao; Pei Hsia; Yasufumi Toyoshima; Chris Chen (COMPSAC, 1994)