Detecting Trivial Mutant Equivalences via Compiler Optimisations | IEEE Journals & Magazine | IEEE Xplore