prindi

Time semantics of executable activity diagrams for relativized conformance testing

autor
Iqbal, Junaid
Truscan, Dragos
Vain, Jüri
vastutusandmed
Junaid Iqbal (Åbo Akademi University, Finland), Dragos Truscan (Åbo Akademi University, Finland), Jüri Vain
allikas
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
ilmumiskoht
New York
kirjastus/väljaandja
ACM
ilmumisaasta
2020
leheküljed
p. 251-256
konverentsi nimetus, aeg
IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), October 19, 2020
leitav
https://doi.org/10.1145/3417990.3421399
märksõna
tarkvara
testimine
semantiline analüüs
võtmesõna
executable UML
activity diagram
time semantics
conformance
rtioco conformance relation
ISBN
978-1-4503-8135-2
märkused
Bibliog.: 16 ref
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium
Iqbal, J., Truscan, D., Vain, J. Time semantics of executable activity diagrams for relativized conformance testing // MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. New York : ACM, 2020. p. 251-256. https://doi.org/10.1145/3417990.3421399