An Efficient Algorithm for Combining Verification and Validation Methods.

Isela Mendoza, Uverton S. Souza, Marcos Kalinowski, Ruben Interian, Leonardo Gresta Paulino Murta

Browse the full SOFSEM paper archive.