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]
No references recorded for this publication.
No citations of this publication recorded.