prindi

On mutating UPPAAL timed automata to assess robustness of web services

autor
Siavashi, Faezeh
Truscan, Dragos
Vain, Jüri
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
SciTePress
ilmumisaasta
2016
leheküljed
p. 15-26 : ill
konverentsi nimetus, aeg
11th International Joint Conference on Software Technologies, 24-26 July, 2016
konverentsi toimumispaik
Lisbon, Portugal
leitav
http://dx.doi.org/10.5220/0005970800150026
märksõna
veebirakendused
tarkvaraarendus
testimine
võtmesõna
web service composition
specification mutation
robustness testing
model-based testing
UPPAAL
TRON
ISBN
978-989-758-194-6
märkused
Bibliogr. p. 25-26
TTÜ struktuuriüksus
arvutiteaduse instituut
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