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
Theories of Program Testing and the Application of Revealing Subdomains - MaRDI portal

Theories of Program Testing and the Application of Revealing Subdomains

From MaRDI portal

Publication:3870281

Jump to:navigation, search

DOI10.1109/TSE.1980.234485zbMath0432.68014MaRDI QIDQ3870281

Elaine J. Weyuker, Thomas J. Ostrand

Publication date: 1980

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

zbMATH Keywords

software reliability program testing test data generation software error detection revealing subdomain

Mathematics Subject Classification ID

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

Related Items (5)

A Study of Symmetry Breaking Predicates and Model Counting ⋮ A framework for table driven testing of Java classes ⋮ The universal safeness of test allocation strategies for partition testing ⋮ Importance Sampling of Test Cases in Markovian Software Usage Models ⋮ A contribution to the theory of program testing

This page was built for publication: Theories of Program Testing and the Application of Revealing Subdomains

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