Preliminary results on using static analysis tools for software inspection | IEEE Conference Publication | IEEE Xplore