A Mathematical Framework for the Investigation of Testing

DOI10.1109/TSE.1983.235433zbMATH Open0519.68044MaRDI QIDQ3668857FDOQ3668857

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)

• 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)