Localised mutation in evolutionary test model learning | IEEE Conference Publication | IEEE Xplore