Detecting deadlock, double-free and other abuses in a million lines of Linux kernel source
- Breuer, P.T.
- Pickin, S.
- Petrie, M.L.
Actes de conférence:
Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30
ISBN: 9780769526249
Année de publication: 2006
Pages: 223-233
Type: Communication dans un congrès
