@incollection{TUW-222308, author = {Hametner, Reinhard and Kormann, Benjamin and Vogel-Heuser, Birgit and Winkler, Dietmar and Zoitl, Alois}, title = {Automated test case generation for industrial control applications}, booktitle = {In Recent Advances in Robotics and Automation}, year = {2013}, pages = {263--273}, publisher = {Springer-Verlag, Berlin-Heidelberg}, isbn = {978-3-642-37386-2}, doi = {10.1007/978-3-642-37387-9{\_}20} }