On mutating UPPAAL timed automata to assess robustness of web services

statement of authorship
Faezeh Siavashi, Dragos Truscan and Juri Vain
source
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016). Vol. 1, ICSOFT-EA
location of publication
[S.l.]
publisher
year of publication
pages
p. 15-26 : ill
conference name, date
11th International Joint Conference on Software Technologies, 24-26 July, 2016
conference location
Lisbon, Portugal
ISBN
978-989-758-194-6
notes
Bibliogr. p. 25-26
TTÜ department
language
inglise
keyword
web service composition
specification mutation
robustness testing
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