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
subject term
keyword
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