Sergey V. Zelenov

Using abstract models for the generation of test data with a complex structure

Alexey V. Demakov, Sergey V. Zelenov, Sophia A. Zelenova, 2008, Programming and Computer Software.

Automated Generation of Positive and Negative Tests for Parsers

Sergey V. Zelenov, Sophia A. Zelenova, S. A. Zelenova, 2005, FATES.

Test Generation for Compilers and Other Formal Text Processors

Alexander K. Petrenko, Sergey V. Zelenov, Sophia A. Zelenova, 2004, Programming and Computer Software.

Schedulability Analysis for Strictly Periodic Tasks in RTOS

Sergey V. Zelenov, Sophia A. Zelenova, 2018, Programming and Computer Software.

Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS

Sergey V. Zelenov, Sophia A. Zelenova, 2019, Ershov Informatics Conference.

Automatic Test Generation for Model-Based Code Generators

Alexander K. Petrenko, Mirko Conrad, Ines Fey, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

Targeted data generation for application testing on databases

Sergey V. Zelenov, E. A. Kostychev, V. A. Omel'chenko, 2012, Programming and Computer Software.

Generation of Positive and Negative Tests for Parsers

Sergey V. Zelenov, Sophia A. Zelenova, S. A. Zelenova, 2005, Programming and Computer Software.

Model-Based Testing of Optimizing Compilers

Sergey V. Zelenov, Sophia A. Zelenova, S. A. Zelenova, 2007, TestCom/FATES.

Directed Generation of Test Data for Static Semantics Checker

Sergey V. Zelenov, M. V. Arkhipova, S. Zelenov, 2008, ISoLA.

Java Specification Extension for Automated Test Development

Alexander K. Petrenko, Victor V. Kuliamin, Alexey V. Demakov, 2001, Ershov Memorial Conference.