Specification-Based Test Oracles for Reactive Systems.

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

Published in: ICSE (1992)

Keyphrases

reactive systems
model checking
temporal logic
information flow
formal methods
test cases
transition systems
petri net
real time systems
state machines
social networks
control flow
real time
multi agent systems
building blocks