A survey of systematic methods for code-based test data generation - V. A. Volkov; A. V. Kolchin; A. A. Letichevskij; S. V. Potienko (Artificial intelligence, 2017)