Compositional Specifications for ioco Testing.

Przemyslaw Daca Thomas A. Henzinger Willibald Krenn Dejan Nickovic

Published in: CoRR (2019)

Keyphrases

real time
high level
genetic algorithm
case study
test set
formal verification
neural network
machine learning
information systems
web pages
specification language
operational semantics
formal language
asynchronous circuits