Theory of Program Testing-An Overview

DOI10.1002/J.1538-7305.1983.TB03467.XMaRDI QIDQ3700814zbMATH OpenOpenAlexFDO

Authors Ronald E. Prather

Publication date 1983

Published in Bell System Technical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/j.1538-7305.1983.tb03467.x

zbMATH Keywords

software testingprogram testingproofs of program correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A contribution to the theory of program testing
• Testing can be formal, too
• scientific article; zbMATH DE number 3926224
• A Recursion Theoretic Approach to Program Testing
• Selecting Software Test Data Using Data Flow Information

Cited in

(13)

• scientific article; zbMATH DE number 4023204 (Why is no real title available?)
• scientific article; zbMATH DE number 3990845 (Why is no real title available?)
• A survey of testing for instruction sequence theory
• scientific article; zbMATH DE number 2101439 (Why is no real title available?)
• scientific article; zbMATH DE number 3926224 (Why is no real title available?)
• scientific article; zbMATH DE number 4157871 (Why is no real title available?)
• scientific article; zbMATH DE number 1670803 (Why is no real title available?)
• Application of mutation analysis to evaluation of program-testing quality
• scientific article; zbMATH DE number 3852422 (Why is no real title available?)
• A contribution to the theory of program testing
• The Path Prefix Software Testing Strategy
• Automated generation of test paths for Fortran programs
• Program testing in parallel computing systems with single control stream

This page was built for publication: Theory of Program Testing-An Overview

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