Hunting bugs with Coccinelle

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

Valgrind

Nicholas Nethercote, Julian Seward · 2007 · 2.3K citations

Computing, Computer Engineering, Computer Science +5

Evaluating intrusion detection systems: the 1998 DARPA off-line intrusion detection evaluation

Richard P. Lippmann, David J. Fried, Isaac Graf et al. · 2002 · 911 citations

Computing, Computer Science, Computer Systems +15

Logic in computer science: modelling and reasoning about systems

Choice Reviews Online · 2005 · 875 citations

Computing, Computer Science, Knowledge Representation +11

Finding bugs is easy

David Hovemeyer, William Pugh · 2004 · 775 citations

Computing, Computer Science, Formal Methods +10