Model-based Testing Approaches: A Survey. - Ali, Nidaa Ghalib; Burhan, Iman Mohammed; Mohebbi, Keyvan (Journal of Algebraic Statistics, 2022)