A Mathematical Framework for the Investigation of Testing

DOI10.1109/TSE.1983.235433MaRDI QIDQ3668857zbMATH OpenFDO

Authors John S. Gourlay

Publication date 1983

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

Full work available at URL https://doi.org/10.1109/TSE.1983.235433

zbMATH Keywords

path analysissoftware testingtesting theorysoftware reliabilitymutation analysisspecificationshardware testing

Mathematics Subject Classification ID

Theory of software (68N99)

Cited in

(2)

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

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)