A preliminary evaluation of software inspection tools, with the DESMET method | IEEE Conference Publication | IEEE Xplore