Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra. Model-Based Testing for MAPE-K adaptation control loops. In 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020. pages 43-51, IEEE, 2020. [doi]
Abstract is missing.