On mutating UPPAAL timed automata to assess robustness of web services

vastutusandmed
Faezeh Siavashi, Dragos Truscan and Juri Vain
allikas
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016). Vol. 1, ICSOFT-EA
ilmumiskoht
[S.l.]
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 15-26 : ill
konverentsi nimetus, aeg
11th International Joint Conference on Software Technologies, 24-26 July, 2016
konverentsi toimumispaik
Lisbon, Portugal
võtmesõna
web service composition
specification mutation
robustness testing
ISBN
978-989-758-194-6
märkused
Bibliogr. p. 25-26
TTÜ struktuuriüksus
keel
inglise
Siavashi, F., Truscan, D., Vain, J. On mutating UPPAAL timed automata to assess robustness of web services // Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016). Vol. 1, ICSOFT-EA. [S.l.] : SciTePress, 2016. p. 15-26 : ill. http://dx.doi.org/10.5220/0005970800150026