Searched for: author%3A%22Boogerd%2C+C.%22
(1 - 3 of 3)
document
Boogerd, C. (author), Moonen, L. (author)
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure, reliable and high quality code. However, an often quoted disadvantage of these tools is that they generate an inordinate number of warnings, including many false...
report 2009
document
Boogerd, C. (author), Moonen, L. (author)
In spite of the widespread use of coding standards and tools enforcing their rules, there is little empirical evidence supporting the intuition that they prevent the introduction of faults in software. In previous work, we performed a pilot study to assess the relation between rule violations and actual faults, using the MISRA C 2004 standard on...
report 2009
document
Boogerd, C. (author), Moonen, L. (author)
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure, reliable and high quality code. However, an often quoted disadvantage of these tools is that they generate an overly large number of warnings, including many false...
report 2006