Compositional Specifications for ioco Testing.

Przemyslaw Daca Thomas A. Henzinger Willibald Krenn Dejan Nickovic

Published in: ICST (2014)

Keyphrases

formal verification
machine learning
test set
test cases
delay insensitive
learning algorithm
e learning
knowledge base
website
expert systems
formal specification