Testing Self-Adaptive Software With Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results | IEEE Journals & Magazine | IEEE Xplore