Requirement verification in simulation-based automation testing.

Eero Siivola Seppo Sierla Hannu Niemistö Tommi Karhela Valeriy Vyatkin

Published in: INDIN (2016)

Keyphrases

test generation
symbolic execution
formal verification
model based testing
model checking
expert systems
artificial intelligence
computer vision
test cases
face verification
database
formal analysis
functional verification