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. |