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)

A Combined Technique for Automatic Detection of Backward Binary Compatibility Problems. - Andrey V. Ponomarenko; Vladimir V. Rubanov (Ershov Memorial Conference, 2011)

Backward compatibility of software interfaces: Steps towards automatic verification. - Andrey V. Ponomarenko; Vladimir V. Rubanov (Program. Comput. Softw., 2012)