Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A Mathematical Framework for the Investigation of Testing - MaRDI portal

A Mathematical Framework for the Investigation of Testing

From MaRDI portal

Publication:3668857

Jump to:navigation, search

DOI10.1109/TSE.1983.235433zbMath0519.68044MaRDI QIDQ3668857

John S. Gourlay

Publication date: 1983

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

zbMATH Keywords

software testing specifications software reliability testing theory path analysis mutation analysis hardware testing

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3668857&oldid=17140373"