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
Program testing using symbolic execution - MaRDI portal

Program testing using symbolic execution

From MaRDI portal

Publication:1154241

Jump to:navigation, search

zbMath0464.68016MaRDI QIDQ1154241

Yu. V. Borzov

Publication date: 1980

Published in: Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (1)

Relationship of program correctness checking methods

This page was built for publication: Program testing using symbolic execution

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