Mutating aspect-oriented models to test cross-cutting concerns | IEEE Conference Publication | IEEE Xplore