Isela Mendoza, Uéverton S. Souza, Marcos Kalinowski, Ruben Interian, Leonardo Gresta Paulino Murta: An Efficient Algorithm for Combining Verification and Validation Methods. SOFSEM 2019: 324-340