Four of the seven sessions at the workshop addressed reliability-related areas (other than reliability growth) in which recent advances and ongoing research could especially benefit the DoD test and ...

WASHINGTON (Reuters) - A new U.S. Defense Department report warns that ongoing software, maintenance and reliability problems with Lockheed Martin Corp's F-35 stealth fighter could delay the Marine ...

Why testing alone cannot assure correctness in complex safety-critical software, and how edge cases and undefined behavior are able to evade validation efforts. How formal verification is used to ...

This chapter begins by providing some general remarks concerning the collaboration of statisticians and DoD in carrying out research on reliability measurement. This is followed by discussion of the ...