Travelled to:
1 × Australia
1 × USA
Collaborated with:
D.J.Richardson T.O.O'Malley L.J.Osterweil
Talks about:
test (2) techniqu (1) reactiv (1) program (1) process (1) system (1) specif (1) integr (1) oracl (1) base (1)
Person: Stephanie Leif Aha
DBLP: Aha:Stephanie_Leif
Contributed to:
Wrote 2 papers:
- ICSE-1992-RichardsonAO #testing
- Specification-Based Test Oracles for Reactive Systems (DJR, SLA, TOO), pp. 105–118.
- TAV-1989-RichardsonAO #process #programming #testing
- Integrating Testing Techniques Through Process Programming (DJR, SLA, LJO), pp. 219–228.