TY - BOOK AU - Birgitta Lindström TI - Using mutation to design tests for aspect-oriented models PY - 2017/// KW - Mutation Testing N1 - CJ0030 ER -