@inproceedings{TUW-201583, author = {Hametner, Reinhard and Kormann, Benjamin and Vogel-Heuser, Birgit and Winkler, Dietmar and Zoitl, Alois}, title = {Test Case Generation Approach for Industrial Automation Systems}, booktitle = {Proceedings of the 5th International Conference on Automation, Robotics and Applications}, year = {2011}, pages = {57--62}, isbn = {978-1-4577-0328-7}, note = {Vortrag: 5th International Conference on Automation, Robotics and Applications, New Zealand, Wellington; 2011-12-06 -- 2011-12-08} }