Improving mutant generation for Simulink models using genetic algorithm | IEEE Conference Publication | IEEE Xplore