On Automatic Detection of Performance Bugs | IEEE Conference Publication | IEEE Xplore