Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser. Relational Test Tables: A Practical Specification Language for Evolution and Security. In FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020. pages 77-86, ACM, 2020. [doi]
@inproceedings{WeiglUCBV20, title = {Relational Test Tables: A Practical Specification Language for Evolution and Security}, author = {Alexander Weigl and Mattias Ulbrich and Suhyun Cha and Bernhard Beckert and Birgit Vogel-Heuser}, year = {2020}, doi = {10.1145/3372020.3391566}, url = {https://doi.org/10.1145/3372020.3391566}, researchr = {https://researchr.org/publication/WeiglUCBV20}, cites = {0}, citedby = {0}, pages = {77-86}, booktitle = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020}, publisher = {ACM}, isbn = {978-1-4503-7071-4}, }