Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications.

Farn Wang Li-Wei Yao Jung-Hsuan Wu

Published in: DASC (2011)

Keyphrases

reactive systems
information flow
model checking
temporal logic
petri net
control flow
transition systems
real time systems
database
formal methods
state machines
real time
case study
test cases
oracle database
finite state machines