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

Kevin Pinkal, Oliver Niggemann. A new approach to model-based test case generation for industrial automation systems. In 15th IEEE International Conference on Industrial Informatics, INDIN 2017, Emden, Germany, July 24-26, 2017. pages 53-58, IEEE, 2017. [doi]

Abstract

Abstract is missing.