LEADER 02034oam 2200421zu 450 001 9910872432603321 005 20241212215203.0 035 $a(CKB)1000000000021571 035 $a(SSID)ssj0000454884 035 $a(PQKBManifestationID)12129439 035 $a(PQKBTitleCode)TC0000454884 035 $a(PQKBWorkID)10415578 035 $a(PQKB)11779708 035 $a(NjHacI)991000000000021571 035 $a(EXLCZ)991000000000021571 100 $a20160829d2002 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$a13th International Symposium on Software Reliability Engineering: Proceedings, Annapolis, Maryland, 12-15 November 2002 210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d2002 215 $a1 online resource (410 pages) 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780769517636 311 08$a0769517633 330 $aThis proceedings volume from the November 2002 conference in Annapolis, Maryland contains 33 papers on the following topics: testing with formal methods, reliability modeling, failure detection and recovery, assessment of testing, high availability software maintenance, testing technologies, system analysis, practical experience, reliability prediction and analysis, software mutation, and reliability assessment. An abstract accompanies each paper; charts, graphs, diagrams, and screen captures support many of the contributions. There is no subject index. Annotation copyrighted by Book News, Inc., Portland, OR. 606 $aComputer software$xReliability$vCongresses 606 $aSoftware engineering$vCongresses 615 0$aComputer software$xReliability 615 0$aSoftware engineering 676 $a005 801 0$bPQKB 906 $aPROCEEDING 912 $a9910872432603321 996 $a13th International Symposium on Software Reliability Engineering: Proceedings, Annapolis, Maryland, 12-15 November 2002$92364619 997 $aUNINA