Traversal of arbitrary sequences of UCM symbolic transitions for test generation - A. A. Guba (Problems in programming, 2014)