Software testing using model programs

DOI10.1002/SPE.409MaRDI QIDQ2785066zbMATH OpenOpenAlexFDO

Authors L. I. Manolache, Derrick Kourie

Publication date 24 April 2002

Published in Software. Practice \& 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)

Recommendations

• scientific article; zbMATH DE number 6401121
• FM 2005: Formal Methods
• A contribution to the theory of program testing
• Model-based testing
• Composition of Model Programs

Cites work

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

Cited in

(4)

• Modelling and analysis of a software system with improvements in the testing phase
• Composition of Model Programs
• A testing method balancing structural testing and functional testing
• Using a neural network in the software testing process

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

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