Requiem for a Bug – Software Verification: Testing and Static Analysis

Janet R. Logue

This article is part of the embedded software series: Forced Coding Using Ada Contracts Download this article in .PDF format […]

Read More

5 most embarrassing software bugs in history

Janet R. Logue

[ad_1] In my American scientist Chronicle this month, I spoke out against the attitude of software companies that we, the […]

Read More 0