State generation and automated class testing. - Ball, Thomas; Hoffman, Daniel; Ruskey, Frank; Webber, Richard; White; Lee (Software Testing: Verification & Reliability, 2000)