Java Specification Extension for Automated Test Development. - Igor B. Bourdonov; Alexey V. Demakov; Andrew A. Jarov; Alexander S. Kossatchev; Victor V. Kuliamin; Alexander K. Petrenko; Sergey V. Zelenov (Ershov Memorial Conference, 2001)

Test Generation for Compilers and Other Formal Text Processors. - Sergey V. Zelenov; Sophia A. Zelenova; Alexander S. Kossatchev; Alexander K. Petrenko (Program. Comput. Softw., 2003)

Automated Generation of Positive and Negative Tests for Parsers. - Sergey V. Zelenov; Sophia A. Zelenova (FATES, 2005)

Generation of Positive and Negative Tests for Parsers. - Sergey V. Zelenov; Sophia A. Zelenova (Program. Comput. Softw., 2005)

Automatic Test Generation for Model-Based Code Generators. - Sergey V. Zelenov; Denis V. Silakov; Alexander K. Petrenko; Mirko Conrad; Ines Fey (ISoLA, 2006)

Model-Based Testing of Optimizing Compilers. - Sergey V. Zelenov; Sophia A. Zelenova (TestCom/FATES, 2007)

Directed Generation of Test Data for Static Semantics Checker. - M. V. Arkhipova; Sergey V. Zelenov (ISoLA, 2008)

Using abstract models for the generation of test data with a complex structure. - Alexey V. Demakov; Sergey V. Zelenov; Sophia A. Zelenova (Program. Comput. Softw., 2008)

Targeted data generation for application testing on databases. - E. A. Kostychev; V. A. Omel'chenko; Sergey V. Zelenov (Program. Comput. Softw., 2012)

Schedulability Analysis for Strictly Periodic Tasks in RTOS. - Sophia A. Zelenova; Sergey V. Zelenov (Program. Comput. Softw., 2018)

Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS. - Sophia A. Zelenova; Sergey V. Zelenov (Ershov Informatics Conference, 2019)