Applying mutation testing for assessing test suites quality at model level | IEEE Conference Publication | IEEE Xplore