Approaches to Specification-Based Testing. - Debra J. Richardson; T. Owen O'Malley; C. Tittle (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)

Workshop on software engineering for cloud computing: (SECLOUD 2011). - Chris A. Mattmann; Nenad Medvidovic; T. S. Mohan; T. Owen O'Malley (ICSE, 2011)