TY - GEN
T1 - Generalized Test Tables
T2 - 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022
AU - Beckert, Bernhard
AU - Ulbrich, Mattias
AU - Vogel-Heuser, Birgit
AU - Weigl, Alexander
N1 - Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2022
Y1 - 2022
N2 - We give an overview of Generalized Test Tables (GTTs), a specification language derived from existing table-based test case description methods commonly used in the domain of automated production systems. We cover syntax and semantics of GTTs as well as their use for formal verification, and introduce an extension, Relational Test Tables (RTTs), which allow the specification of relations between code variants.
AB - We give an overview of Generalized Test Tables (GTTs), a specification language derived from existing table-based test case description methods commonly used in the domain of automated production systems. We cover syntax and semantics of GTTs as well as their use for formal verification, and introduce an extension, Relational Test Tables (RTTs), which allow the specification of relations between code variants.
KW - Formal specification
KW - Relational verification
UR - http://www.scopus.com/inward/record.url?scp=85140783377&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-17715-6_2
DO - 10.1007/978-3-031-17715-6_2
M3 - Conference contribution
AN - SCOPUS:85140783377
SN - 9783031177149
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 7
EP - 13
BT - Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings
A2 - Seidl, Helmut
A2 - Liu, Zhiming
A2 - Pasareanu, Corina S.
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 27 September 2022 through 29 September 2022
ER -