Faezeh Siavashi, Dragos Truscan, Jüri Vain. On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. In Leszek A. Maciaszek, Jorge Cardoso, André Ludwig, Marten van Sinderen, Enrique Cabello, editors, Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24 - 26, 2016. pages 15-26, SciTePress, 2016. [doi]
Abstract is missing.