Efficient validation of self-adaptive applications by counterexample probability maximization

Wenhua Yang, Chang Xu 0001, Minxue Pan, Chun Cao, Xiaoxing Ma, Jian Lu. Efficient validation of self-adaptive applications by counterexample probability maximization. Journal of Systems and Software, 138:82-99, 2018. [doi]

Abstract

Abstract is missing.