Computer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic control, nuclear reactors, aircraft, real-time military, industrial process control, security system control, biometric scan-systems, automotive, mechanical and safety control, and hospital patient monitoring systems. Many of these applications require critical functionality as software applications increase in size and complexity. System Software Reliability is an introduction to software reliability engineering as well as a detailed survey of the state-of-the-art techniques, methodologies and tools used to assess the reliability of software and combined software-hardware systems. The most recent research results in the field are reported and future directions in the subject are signposted. This comprehensive text will be of interest to: • graduate students as an introduction to software reliability engineering and a textbook for graduate courses; • software and reliability engineers as a comprehensive and up-to-date survey of the field; and, • researchers and lecturers in universities and research institutions as a one-volume reference. The Springer Series in Reliability Engineering publishes high-quality books in important areas of current theoretical research and development in reliability, and in areas that bridge the gap between theory and application in areas of interest to practitioners in industry, laboratories, business, and government.