Efficient validation of self-adaptive applications by counterexample probability maximization.

•We improve the efficiency of validating self-adaptive applications.•We propose to find high-probability counterexamples for validation.•We reduce the problem to a constrained optimization problem.•We use the genetic algorithm to effectively search for the optimal solution.•We evaluated our approach’s effectiveness on real-world applications.