Publikationer pr. år
Publikationer pr. år
Projektdetaljer
| Status | Afsluttet |
|---|---|
| Effektiv start/slut dato | 19/05/2008 → 18/05/2011 |
Samarbejdspartnere
- DIKU (Projektpartner)
Finansiering
- Forskningsrådet for Teknologi og Produktion (FTP)
-
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification
Olesen, M. C., Hansen, R. R., Lawall, J. L. & Palix, N. J-M., okt. 2014, I: Science of Computer Programming. 91, Part B, s. 141-160Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Fil9 Citationer (Scopus)617 Downloads (Pure) -
WYSIWIB: Exploiting Fine-Grained Program Structure in a Scriptable API-Usage Protocol Finding Process
Lawall, J., Brunel, J. P. M., Palix, N. J-M., Hansen, R. R., Stuart, H. & Muller, G., jan. 2013, I: Software: Practice & Experience. 43, 1, s. 67-92Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
13 Citationer (Scopus)