Application of mutation analysis to evaluation of program-testing quality

MaRDI QIDQ1183848zbMATH OpenFDO

Authors D. I. Korchemnyj

Publication date 28 June 1992

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

software reliabilityprogramming testing

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• Mutation testing in the refinement calculus
• Model-Based Higher-Order Mutation Analysis
• Theory of Program Testing-An Overview
• An empirical evaluation of P system testing techniques
• A contribution to the theory of program testing

Cited in

(4)

• Model-Based Higher-Order Mutation Analysis
• Mutation testing in the refinement calculus
• An automatic testing method of invalid arithmetic operations
• Method for automated program errors search in complex data processing algorithms

This page was built for publication: Application of mutation analysis to evaluation of program-testing quality

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