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

@article{DBLP:journals/corr/abs-1910-09068,
  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},
  journal   = {CoRR},
  volume    = {abs/1910.09068},
  year      = {2019},
  url       = {http://arxiv.org/abs/1910.09068},
  archivePrefix = {arXiv},
  eprint    = {1910.09068},
  timestamp = {Tue, 22 Oct 2019 18:17:16 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1910-09068.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}```