On mutating UPPAAL timed automata to assess robustness of web servicesSiavashi, Faezeh; Truscan, Dragos; Vain, JüriProceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016). Vol. 1, ICSOFT-EA2016 / p. 15-26 : ill http://dx.doi.org/10.5220/0005970800150026