A new approach to model-based test case generation for industrial automation systems.

Kevin Pinkal Oliver Niggemann

Published in: INDIN (2017)

Keyphrases

test case generation
test cases
object oriented systems
software testing
test data generation
test suite
search algorithm
software development
software maintenance
static analysis
cooperative
object oriented
source code