Characterizing logging practices in open-source software
The SLAM project: debugging system software via static analysis