Syrine Tlili Xiaochun Yang Rachid Hadjidj Mourad Debbabi Verification of CERT Secure Coding Rules: Case Studies. 913-930 2009 OTM Conferences (2) http://dx.doi.org/10.1007/978-3-642-05151-7_12 conf/otm/2009-2 db/conf/otm/otm2009-2.html#TliliYHD09