Mutation testing applied to validate specifications based on statecharts | IEEE Conference Publication | IEEE Xplore