Generalized test tables: A powerful and intuitive specification language for reactive systems

Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser. Generalized test tables: A powerful and intuitive specification language for reactive systems. In 15th IEEE International Conference on Industrial Informatics, INDIN 2017, Emden, Germany, July 24-26, 2017. pages 875-882, IEEE, 2017. [doi]

Abstract

Abstract is missing.