LEADER 01625nam 2200481 450 001 996212396503316 005 20230721023416.0 010 $a1-5090-7565-8 035 $a(CKB)2400000000003043 035 $a(SSID)ssj0000453106 035 $a(PQKBManifestationID)12192312 035 $a(PQKBTitleCode)TC0000453106 035 $a(PQKBWorkID)10480753 035 $a(PQKB)10298212 035 $a(WaSeSS)IndRDA00093662 035 $a(WaSeSS)IndRDA00119685 035 $a(EXLCZ)992400000000003043 100 $a20200306d2009 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aICSTW 2009 $eIEEE International Conference on Software Testing, Verification, and Validation Workshops : April 1-4, 2009, Denver, Colorado, USA /$fsponsored by IEEE Computer Society [and four others] 210 1$aLos Alamitos, California :$cIEEE Computer Society,$d2009. 215 $a1 online resource (ix, 312 pages) 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-7695-3671-9 311 $a1-4244-4356-3 606 $aComputer software$xVerification$vCongresses 606 $aComputer software$xTesting$vCongresses 606 $aComputer software$xValidation$vCongresses 615 0$aComputer software$xVerification 615 0$aComputer software$xTesting 615 0$aComputer software$xValidation 676 $a005.14 712 02$aIEEE Computer Society, 801 0$bWaSeSS 801 1$bWaSeSS 906 $aPROCEEDING 912 $a996212396503316 996 $aICSTW 2009$92313704 997 $aUNISA