This report describes the current state of software engineering for safety and proposes some directions for needed work that appears to be achievable in the near future. Keywords ...
All software projects are experiments in the sense of the scientific method because the outcomes are not known in advance, theories and hypotheses may be tested in the project emp...
P. Giese, Barbara Hoisl, Christopher M. Lott, H. D...
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...