Evaluation of {model-based} testing techniques selection approaches: An external replication | IEEE Conference Publication | IEEE Xplore