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

Kevin Pinkal, Oliver Niggemann

Browse the full INDIN paper archive.