Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm

Einollah Pira, Vahid Rafe, Amin Nikanjam. Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm. Journal of Systems and Software, 131:181-200, 2017. [doi]

Abstract

Abstract is missing.