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
Buch:
30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS

ISBN: 978-0-7695-2624-9

Datum der Publikation: 2006

Seiten: 223-226

Kongress: 30th Annual NASA/IEEE Software Engineering Workshop

Art: Konferenz-Beitrag

GOOGLE SCHOLAR
Fuente de los datos: WoS