Applicability and benefits of mutation analysis as an aid for unit testing | IEEE Conference Publication | IEEE Xplore