Model-Based Testing for MAPE-K adaptation control loops.

Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra

Browse the full ICST paper archive.