02034oam 2200421zu 450 991087243260332120241212215203.0(CKB)1000000000021571(SSID)ssj0000454884(PQKBManifestationID)12129439(PQKBTitleCode)TC0000454884(PQKBWorkID)10415578(PQKB)11779708(NjHacI)991000000000021571(EXLCZ)99100000000002157120160829d2002 uy engur|||||||||||txtccr13th International Symposium on Software Reliability Engineering: Proceedings, Annapolis, Maryland, 12-15 November 2002[Place of publication not identified]IEEE Computer Society Press20021 online resource (410 pages)Bibliographic Level Mode of Issuance: Monograph9780769517636 0769517633 This 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.Computer softwareReliabilityCongressesSoftware engineeringCongressesComputer softwareReliabilitySoftware engineering005PQKBPROCEEDING991087243260332113th International Symposium on Software Reliability Engineering: Proceedings, Annapolis, Maryland, 12-15 November 20022364619UNINA