Assessing the precision of FindBugs by mining Java projects developed at a university | IEEE Conference Publication | IEEE Xplore