Detecting deadlock, double-free and other abuses in a million lines of Linux kernel source

  1. Breuer, P.T.
  2. Pickin, S.
  3. Petrie, M.L.
Actas:
Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30

ISBN: 9780769526249

Año de publicación: 2006

Páginas: 223-233

Tipo: Aportación congreso

DOI: 10.1109/SEW.2006.15 GOOGLE SCHOLAR
Fuente de los datos: Scopus