Software testing using model programs

DOI10.1002/spe.409zbMath1008.68024OpenAlexW2033854945MaRDI QIDQ2785066

L. I. Manolache, Derrick G. Kourie

Publication date: 24 April 2002

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.409

zbMATH Keywords

\(M\)-mp testing

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors

This page was built for publication: Software testing using model programs