Sophia A. Zelenova

According to our database, Sophia A. Zelenova authored at least 7 papers between 2003 and 2019.

Collaborative distances:

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

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

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

2007

Model-Based Testing of Optimizing Compilers.

Sergey V. Zelenov, Sophia A. Zelenova

Proceedings of the Testing of Software and Communicating Systems, 2007

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