Integrating Testing Techniques Through Process Programming. - Debra J. Richardson; Stephanie Leif Aha; Leon J. Osterweil (Symposium on Testing, Analysis, and Verification, 1989)

Specification-Based Test Oracles for Reactive Systems. - Debra J. Richardson; Stephanie Leif Aha; T. Owen O'Malley (ICSE, 1992)

Developing and integrating ProDAG in the Arcadia environment. - Debra J. Richardson; T. Owen O'Malley; Cynthia Tittle Moore; Stephanie Leif Aha (SDE, 1992)