Isela Mendoza, Uéverton S. Souza, Marcos Kalinowski, Ruben Interian, Leonardo Gresta Paulino Murta. An Efficient Algorithm for Combining Verification and Validation Methods. In Barbara Catania, Rastislav Královic, Jerzy R. Nawrocki, Giovanni Pighizzini, editors, SOFSEM 2019: Theory and Practice of Computer Science - 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings. Volume 11376 of Lecture Notes in Computer Science, pages 324-340, Springer, 2019. [doi]
Abstract is missing.