Time semantics of executable activity diagrams for relativized conformance testing
author
Iqbal, Junaid
Truscan, Dragos
Vain, Jüri
statement of authorship
Junaid Iqbal (Åbo Akademi University, Finland), Dragos Truscan (Åbo Akademi University, Finland), Jüri Vain
source
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
location of publication
New York
publisher
ACM
year of publication
2020
pages
p. 251-256
conference name, date
IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), October 19, 2020
url
https://doi.org/10.1145/3417990.3421399
subject term
tarkvara
testimine
semantiline analüüs
keyword
executable UML
activity diagram
time semantics
conformance
rtioco conformance relation
ISBN
978-1-4503-8135-2
notes
Bibliog.: 16 ref
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory