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

  1. Breuer, Peter T.
  2. Pickin, Simon
  3. Petrie, Maria Larrondo
Libro:
30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS

ISBN: 978-0-7695-2624-9

Ano de publicación: 2006

Páxinas: 223-226

Congreso: 30th Annual NASA/IEEE Software Engineering Workshop

Tipo: Achega congreso