James M. Bieman, Hwei Yin: Designing for Software Testability Using Automated Oracles. ITC 1992: 900-907