Cartaxo, Emanuela G. Papers Test case prioritization techniques for model-based testing: a replicated study