Relational test tables: A practical specification language for evolution and security

@inproceedings{DBLP:conf/icse/WeiglUCBV20,
	ids = {Formalise20},
	author = {['Alexander Weigl', 'Mattias Ulbrich', 'Suhyun Cha', 'Bernhard Beckert', 'Birgit Vogel-Heuser']},
	title = {Relational Test Tables: A Practical Specification Language for Evolution
               and Security},
	booktitle = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods
               in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
	pages = {77–86},
	year = {2020},
	url = {https://doi.org/10.1145/3372020.3391566},
	doi = {10.1145/3372020.3391566},
	timestamp = {Tue, 22 Sep 2020 14:35:32 +0200},
	biburl = {https://dblp.org/rec/conf/icse/WeiglUCBV20.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}