An Empirical Analysis of the Mutation Operator for Run-Time Adaptive Testing in Self-Adaptive Systems | IEEE Conference Publication | IEEE Xplore