A Comparative Evaluation of Approaches for Model Testability. IJCT 2013, 9 (1), 948-955. https://doi.org/10.24297/ijct.v9i1.4157.