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

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