Estimating the correctness of computer programs

DOI10.1016/0020-0255(82)90038-XzbMath0506.68014MaRDI QIDQ1836974

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reliability of the Path Analysis Testing Strategy
• An Analysis of Competing Software Reliability Models
• Theoretical and Empirical Studies of Program Testing

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