On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services.

Faezeh Siavashi, Dragos Truscan, Jri Vain

Browse the full ICSoft paper archive.