Silva Ouriques, J. F., Cartaxo, E. G. and Lima Machado, P. D. (2015) “Revealing influence of model structure and test case profile on the prioritization of test cases in the context of model-based testing”, Journal of Software Engineering Research and Development, 3, pp. 1:1 – 1:28. Available at: https://sol.sbc.org.br/journals/index.php/jserd/article/view/421 (Accessed: 22October2021).