Estimating the correctness of computer programs

DOI10.1016/0020-0255(82)90038-XMaRDI QIDQ1836974zbMATH OpenFDO

Authors Joe W. Duran, John J. Wiorkowski

Publication date 1982

Published in Information Sciences (Search for Journal in Brave)

zbMATH Keywords

validityprogram testing

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3502759 (Why is no real title available?)
• scientific article; zbMATH DE number 3591262 (Why is no real title available?)
• scientific article; zbMATH DE number 3640836 (Why is no real title available?)
• An Analysis of Competing Software Reliability Models
• Reliability of the Path Analysis Testing Strategy
• Theoretical and Empirical Studies of Program Testing

This page was built for publication: Estimating the correctness of computer programs

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