Designing for Software Testability Using Automated Oracles. - James M. Bieman; Hwei Yin (ITC, 1992)

Improving Software Testability with Assertion Insertion. - Hwei Yin; James M. Bieman (ITC, 1994)