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]
@inproceedings{WeiglWUUCKBV17,
title = {Generalized test tables: A powerful and intuitive specification language for reactive systems},
author = {Alexander Weigl and Franziska Wiebe and Mattias Ulbrich and Sebastian Ulewicz and Suhyun Cha and Michael Kirsten and Bernhard Beckert and Birgit Vogel-Heuser},
year = {2017},
doi = {10.1109/INDIN.2017.8104887},
url = {https://doi.org/10.1109/INDIN.2017.8104887},
researchr = {https://researchr.org/publication/WeiglWUUCKBV17},
cites = {0},
citedby = {0},
pages = {875-882},
booktitle = {15th IEEE International Conference on Industrial Informatics, INDIN 2017, Emden, Germany, July 24-26, 2017},
publisher = {IEEE},
isbn = {978-1-5386-0837-1},
}