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

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

Read More 0