Counter play-out: executing unrealizable scenario-based specifications.

Shahar Maoz Yaniv Sa'ar

Published in: ICSE (2013)

Keyphrases

neural network
decision trees
high level
control flow
delay insensitive
real time
machine learning
image processing
relational databases
finite state machines
reactive systems