“An Evaluation for Model Testability approaches”, IJCT, vol. 9, no. 1, pp. 938–947, Jun. 2013, doi: 10.24297/ijct.v9i1.4159.