Reliability theory of program testing

DOI10.1007/BF00289588zbMath0449.68002MaRDI QIDQ1147511

Richard Hamlet

Publication date: 1981

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

reliabilityprogram correctnessprogram testingaugment program specifications

Mathematics Subject Classification ID

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

Cites Work

• Testing programs with finite sets of data
• Unnamed Item
• Unnamed Item

This page was built for publication: Reliability theory of program testing