An efficient algorithm for combining verification and validation methods

DOI10.1007/978-3-030-10801-4_26zbMath1444.68054OpenAlexW2911076669MaRDI QIDQ2206241

Leonado Gresta Paulino Murta, Uéverton S. Souza, Ruben Interian, Isela Mendoza, Marcos Kalinowski

Publication date: 22 October 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-10801-4_26

zbMATH Keywords

verificationcombinationset coverparameterized complexityvalidationFPTsoftware quality

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Parameterized complexity, tractability and kernelization (68Q27)

This page was built for publication: An efficient algorithm for combining verification and validation methods