Efficient increasing of the mutation score during model-based test suite generation - A. Kolchin; S. Potienko; T. Weigert (Problems in programming, 2020)