Sergey V. Zelenov

According to our database, Sergey V. Zelenov authored at least 12 papers between 2001 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Software Model Checking for Memory Consistency Verification.

Pavel S. Andrianov, Sergey V. Zelenov, Vadim S. Mutilin, Alexander K. Petrenko

Program. Comput. Softw., October, 2025

2019

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

Sophia A. Zelenova, Sergey V. Zelenov

Proceedings of the Perspectives of System Informatics, 2019

2018

Schedulability Analysis for Strictly Periodic Tasks in RTOS.

Sophia A. Zelenova, Sergey V. Zelenov

Program. Comput. Softw., 2018

2012

Targeted data generation for application testing on databases.

E. A. Kostychev, V. A. Omel'chenko, Sergey V. Zelenov

Program. Comput. Softw., 2012

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

Directed Generation of Test Data for Static Semantics Checker.

M. V. Arkhipova, Sergey V. Zelenov

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

Model-Based Testing of Optimizing Compilers.

Sergey V. Zelenov, Sophia A. Zelenova

Proceedings of the Testing of Software and Communicating Systems, 2007

2006

Automatic Test Generation for Model-Based Code Generators.

Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Generation of Positive and Negative Tests for Parsers.

Sergey V. Zelenov, Sophia A. Zelenova

Program. Comput. Softw., 2005

Automated Generation of Positive and Negative Tests for Parsers.

Sergey V. Zelenov, Sophia A. Zelenova

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

2003

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

2001

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

Proceedings of the Perspectives of System Informatics, 2001