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
Development of symbolic testing methods for computer programs - MaRDI portal

Development of symbolic testing methods for computer programs

From MaRDI portal

Publication:1836295

Jump to:navigation, search

zbMath0504.68010MaRDI QIDQ1836295

Yu. V. Borzov, Ya. Ya. Bichevskij

Publication date: 1982

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

completeness specification program correctness symbolic testing of computer program validation test data systems

Mathematics Subject Classification ID

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

This page was built for publication: Development of symbolic testing methods for computer programs

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