From weak to strong, dead or alive? an analysis of some mutation testing issues | IEEE Conference Publication | IEEE Xplore