Explore Books on
software reliability

Measurement and analysis of failures in computer systems

By Anshuman Thakur

An introduction to requirements capture using PVS

By Ricky W. Butler

Multiversion software reliability through fault-avoidance and fault-tolerance

By Mladen A. Vouk

The validation by measurement theory of proposed object-oriented software metrics

By Ralph D. Neal

Software dependability in the operational phase

By Inhwan Lee

Quantitative measures for software independent verification and validation

By Alice Lee

UNIX-based operating systems robustness evaluation

By Yu-Ming Chang

UNIX-based operating systems robustness evaluation

By Youming Zhang

Making statistical inferences about software reliability

By Douglas R. Miller

The role of independent V&V in upstream software development processes

By S. M. Easterbrook

A framework for performing V&V within reuse-based software engineering

By Edward A. Addy

Evaluation of visualization software

By Al Globus

Software design improvements

By Vincent R. Lalli

Formal methods and their role in digital systems validation for airborne systems

By John Rushby

Proceedings of the Nineteenth Annual Software Engineering Workshop

By Software Engineering Workshop (19th 1994 Greenbelt, Md.)

Software safety progress in NASA

By Charles F. Radley

Software reliability studies

By Mary Ann Hoppa

Automatically generated acceptance test

By Peter W. Protzel

A method to determine the kinematics of the lower limbs of a subject pedaling a bicycle using encoders and accelerometers

By Shih-chʻing Liu

NASA software engineering benchmarking study

By Heather L. Rarick