A Mathematical Framework for the Investigation of Testing

DOI10.1109/TSE.1983.235433MaRDI QIDQ3668857zbMATHFDO

Authors John S. Gourlay

Publication date 1983

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

path analysissoftware testingtesting theorysoftware reliabilitymutation analysisspecificationshardware testing

Mathematics Subject Classification ID

Theory of software (68N99)

Cited in

(2)

• A contribution to the theory of program testing
• Testing can be formal, too

This page was built for publication: A Mathematical Framework for the Investigation of Testing

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