Code optimization as a tool for testing software | IEEE Conference Publication | IEEE Xplore