Towards an automated tool for software certification | IEEE Conference Publication | IEEE Xplore