@inproceedings{e20e3e76e2634e6285f072332eebbec5,
title = "Coccinelle: tool support for automated CERT C Secure Coding Standard certification",
keywords = "Automated tool support, CERT C Secure Coding, Certification",
author = "Olesen, {Mads Chr.} and Hansen, {Rene Rydhof} and Julia Lawall and Palix, {Nicolas Jean-Michel}",
year = "2014",
month = oct,
day = "1",
doi = "10.1016/j.scico.2012.10.011",
language = "English",
volume = "91",
pages = "141--160",
journal = "Science of Computer Programming",
issn = "0167-6423",
publisher = "Elsevier",
number = "Part B",
note = "4th International Workshop on Foundations and Techniques for OPEN SOURCE SOFTWARE CERTIFICATION (OpenCert 2010) ; Conference date: 17-09-2010 Through 18-09-2010",
}