Anneliese von Mayrhauser, Jeff Walls, Richard T. Mraz: Sleuth: A Domain-Based Testing Tool. ITC 1994: 840-849