Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

Relational Test Tables: A Practical Specification Language for Evolution and Security

Reviewed Paper In Proceedings

Author(s):Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, and Birgit Vogel‑Heuser
In:FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020
Publisher:ACM
Year:2020
Pages:77-86
URL:https://doi.org/10.1145/3372020.3391566
DOI:10.1145/3372020.3391566

BibTeX

@inproceedings{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},
  url       = {https://doi.org/10.1145/3372020.3391566},
  doi       = {10.1145/3372020.3391566},
  booktitle     = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods
               in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
  publisher = {{ACM}},
  year      = {2020},
  isbn      = {978-1-4503-7071-4}
}