Specification-Based Test Oracles for Reactive Systems.

Debra J. Richardson, Stephanie Leif Aha, T. Owen O'Malley

Browse the full ICSE paper archive.