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

Browse the full INDIN paper archive.