An Introduction to Test Specification in FQL.

Andreas Holzer Michael Tautschnig Christian Schallhart Helmut Veith

Published in: Haifa Verification Conference (2010)

Keyphrases

high level
specification language
website
formal specification
data sets
neural network
image processing
evolutionary algorithm
mobile robot
test cases
structural equation modeling