Sergey V. Zelenov

12 papers C 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Software Model Checking for Memory Consistency Verification.
Program. Comput. Softw.
Pavel S. Andrianov, Sergey V. Zelenov, Vadim S. Mutilin, Alexander K. Petrenko
2019 — conf
Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS.
Ershov Informatics Conference
Sophia A. Zelenova, Sergey V. Zelenov
2018 J jnl
Schedulability Analysis for Strictly Periodic Tasks in RTOS.
Program. Comput. Softw.
Sophia A. Zelenova, Sergey V. Zelenov
2012 J jnl
Targeted data generation for application testing on databases.
Program. Comput. Softw.
E. A. Kostychev, V. A. Omel'chenko, Sergey V. Zelenov
2008 C conf
Directed Generation of Test Data for Static Semantics Checker.
ISoLA
M. V. Arkhipova, Sergey V. Zelenov
2008 J jnl
Using abstract models for the generation of test data with a complex structure.
Program. Comput. Softw.
Alexey V. Demakov, Sergey V. Zelenov, Sophia A. Zelenova
2007 — conf
Model-Based Testing of Optimizing Compilers.
TestCom/FATES
Sergey V. Zelenov, Sophia A. Zelenova
2006 C conf
Automatic Test Generation for Model-Based Code Generators.
ISoLA
Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey
2005 — conf
Automated Generation of Positive and Negative Tests for Parsers.
FATES
Sergey V. Zelenov, Sophia A. Zelenova
2005 J jnl
Generation of Positive and Negative Tests for Parsers.
Program. Comput. Softw.
Sergey V. Zelenov, Sophia A. Zelenova
2003 J jnl
Test Generation for Compilers and Other Formal Text Processors.
Program. Comput. Softw.
Sergey V. Zelenov, Sophia A. Zelenova, Alexander S. Kossatchev, Alexander K. Petrenko
2001 — conf
Java Specification Extension for Automated Test Development.
Ershov Memorial Conference
Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov