Machado, Patrícia D.L. Papers Test case prioritization techniques for model-based testing: a replicated study