An efficient algorithm for combining verification and validation methods

DOI10.1007/978-3-030-10801-4_26MaRDI QIDQ2206241zbMATH OpenOpenAlexFDO

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

Publication date 22 October 2020

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

zbMATH Keywords

combinationFPTparameterized complexityset coversoftware qualityvalidationverification

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 994144
• scientific article; zbMATH DE number 3930309
• Combining software and hardware verification techniques
• Software Verification and Validation
• Software Quality Approaches: Testing, Verification, and Validation

Cited in

(1)

• A permutation approach to validation*

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2206241)