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

@inproceedings{DBLP:conf/icse/WeiglUCBV20,
  ids={Formalise20},
  author    = {Alexander Weigl and
               Mattias Ulbrich and
               Suhyun Cha and
               Bernhard Beckert and
               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}
}```