Stephanie Leif Aha

Publication Activity (10 Years)

Years Active: 1989-1992
Publications (10 Years): 0

Publications

Debra J. Richardson, T. Owen O'Malley, Cynthia Tittle Moore, Stephanie Leif Aha
Developing and integrating ProDAG in the Arcadia environment. SDE (1992)
Debra J. Richardson, Stephanie Leif Aha, T. Owen O'Malley
Specification-Based Test Oracles for Reactive Systems. ICSE (1992)
Debra J. Richardson, Stephanie Leif Aha, Leon J. Osterweil
Integrating Testing Techniques Through Process Programming. Symposium on Testing, Analysis, and Verification (1989)