Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs.

Bernard Boigelot Patrice Godefroid

Published in: TACAS (1997)

Keyphrases

fully automatic
dynamic environments
control flow
agent architecture
delay insensitive
context sensitive
hidden markov models
dynamically changing
structural analysis
real time
relational databases
search algorithm
multi agent
e learning
computer vision
data mining
databases