Paul E. Black, National Institute of Standards and Technology, Gaithersburg, MD
Journal Articles
SARD: Thousands of Reference Programs for Software Assurance
One way to understand the strengths and limitations of software assurance tools is to use a corpus of programs with known bugs. The software developer can run a candidate tool on programs in the corpus to get an idea of…
View Article
Leave a Comment
You must be logged in to post a comment.