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

ISBN: 9780769526249

Year of publication: 2006

Pages: 223-233

Type: Conference paper

DOI: 10.1109/SEW.2006.15 GOOGLE SCHOLAR

Sustainable development goals

Data source: Scopus