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.
Konferenzberichte:
Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30

ISBN: 9780769526249

Datum der Publikation: 2006

Seiten: 223-233

Art: Konferenz-Beitrag

DOI: 10.1109/SEW.2006.15 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Datenquelle: Scopus