Efficient testing of software modifications | IEEE Conference Publication | IEEE Xplore