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

ISBN: 978-0-7695-2624-9

Année de publication: 2006

Pages: 223-226

Congreso: 30th Annual NASA/IEEE Software Engineering Workshop

Type: Communication dans un congrès

GOOGLE SCHOLAR
La source de données: WoS