Modern debugging: the art of finding a needle in a haystack
a few billion lines of code later : using static analysis to find bugs in the real world .