Efficient test-based model generation for legacy reactive systems.

Tiziana Margaria Oliver Niese Harald Raffelt Bernhard Steffen

Published in: HLDVT (2004)

Keyphrases

reactive systems
database
computationally efficient
real time
neural network
training set
software development
temporal logic