Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions. - Adriana Carla Damasceno; Patrícia Duarte de Lima Machado; Wilkerson de Lucena Andrade; Wesley Nunes Marques Torres (ISORC, 2015)

An Empirical Study on the Spreading of Fault Revealing Test Cases in Prioritized Suites. - Wesley N. M. Torres; Everton L. G. Alves; Patrícia D. L. Machado (COMPSAC (1), 2019)

A Configurable Test Case Prioritization Technique for Early Fault Detection and Low Test Case Spreading. - Wesley N. M. Torres; Everton L. G. Alves; Patrícia D. L. Machado (SBES, 2022)