A method of test data generation from source code of Java programs - A. V. Kolchin; S. V. Potienko (Artificial intelligence, 2016)