On mutating UPPAAL timed automata to assess robustness of web services
author
Siavashi, Faezeh
Truscan, Dragos
Vain, Jüri
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
SciTePress
year of publication
2016
pages
p. 15-26 : ill
conference name, date
11th International Joint Conference on Software Technologies, 24-26 July, 2016
conference location
Lisbon, Portugal
url
http://dx.doi.org/10.5220/0005970800150026
subject term
veebirakendused
tarkvaraarendus
testimine
keyword
web service composition
specification mutation
robustness testing
model-based testing
UPPAAL
TRON
ISBN
978-989-758-194-6
notes
Bibliogr. p. 25-26
TalTech department
arvutiteaduse instituut
language
inglise