Ouriques, João Felipe S. Papers Test case prioritization techniques for model-based testing: a replicated study