Thomas Ball Daniel Hoffman Frank Ruskey Richard Webber Lee J. White State Generation and Automated Class Testing. 149-170 2000 10 Softw. Test., Verif. Reliab. 3 db/journals/stvr/stvr10.html#BallHRWW00