Sergey V. Zelenov

Publication Activity (10 Years)

Years Active: 2001-2019
Publications (10 Years): 2

Top Topics

Data Generation

Top Venues

Program. Comput. Softw.

Ershov Informatics Conference

Publications

Sophia A. Zelenova, Sergey V. Zelenov
Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS. Ershov Informatics Conference (2019)
Sophia A. Zelenova, Sergey V. Zelenov
Schedulability Analysis for Strictly Periodic Tasks in RTOS. Program. Comput. Softw. 44 (3) (2018)
E. A. Kostychev, V. A. Omel'chenko, Sergey V. Zelenov
Targeted data generation for application testing on databases. Program. Comput. Softw. 38 (6) (2012)
M. V. Arkhipova, Sergey V. Zelenov
Directed Generation of Test Data for Static Semantics Checker. ISoLA (2008)
Alexey V. Demakov, Sergey V. Zelenov, Sophia A. Zelenova
Using abstract models for the generation of test data with a complex structure. Program. Comput. Softw. 34 (6) (2008)
Sergey V. Zelenov, Sophia A. Zelenova
Model-Based Testing of Optimizing Compilers. TestCom/FATES (2007)
Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey
Automatic Test Generation for Model-Based Code Generators. ISoLA (2006)
Sergey V. Zelenov, Sophia A. Zelenova
Automated Generation of Positive and Negative Tests for Parsers. FATES (2005)
Sergey V. Zelenov, Sophia A. Zelenova
Generation of Positive and Negative Tests for Parsers. Program. Comput. Softw. 31 (6) (2005)
Sergey V. Zelenov, Sophia A. Zelenova, Alexander S. Kossatchev, Alexander K. Petrenko
Test Generation for Compilers and Other Formal Text Processors. Program. Comput. Softw. 29 (2) (2003)
Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov
Java Specification Extension for Automated Test Development. Ershov Memorial Conference (2001)