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

ISBN: 978-0-7695-2624-9

Argitalpen urtea: 2006

Orrialdeak: 223-226

Biltzarra: 30th Annual NASA/IEEE Software Engineering Workshop

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: WoS