Specification based testing of automotive human machine interfaces.

Holger Grandy Sebastian Benz

Published in: GI Jahrestagung (2009)

Keyphrases

human machine interfaces
human machine interface
test case generation
automotive industry
formal verification
software testing
data sets
neural network
high level
test cases
specification language
computer vision
multi modal
test set
gesture recognition
code generation