Today….
"No" technologies for sufficiently testing large-scale software
"No" technologies for sufficiently testing distributed software
"No" technologies for sufficiently testing real-time software
OO languages and systems are untestable at the system level
A lack of diversity in commercial offerings. We are all vulnerable to the same attacks
Testers are perceived as "street sweepers" (developer "want-to-be"s), and even so, are hard to find and expensive
….. And because of all of this, testing is not the ideal candidate for assessing many of the safety risks of safety-critical software. Can we find a better way?