Automation of broad sanity test generation. - R. S. Zybin; Victor V. Kuliamin; Andrey V. Ponomarenko; Vladimir V. Rubanov; E. S. Chernov (Program. Comput. Softw., 2008)