Key points are not available for this paper at this time.
Juliet Test Suite 1.1 offers test cases for assessing the effectiveness of static analyzers and other software-assurance tools.
Share your take
Add a clinician perspective alongside expert commentary.
Boland et al. (Mon,) studied this question.