Software verification

Verification Futures 2017: Reading

Researchers find as few as 2% of software bugs are detected

Renesas to broaden use of Vitaq for automotive software testing