Statistical Model Checking of Dynamic Software Architectures.

Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flvio Oquendo, Thas Batista, Axel Legay

Browse the full ECSA paper archive.