TY - RPRT TI - Test Case Prioritization Techniques for Model-Based Testing: A Replicated Study AU - João Felipe Silva Ouriques AU - Emanuela Gadelha Cartaxo AU - Patrícia Duarte Lima Machado PY - 2017 UR - https://arxiv.org/abs/1708.03240 ID - 1708.03240 ER -