Sergey V. Zelenov

Orcid: 0000-0003-0446-0541

According to our database1, Sergey V. Zelenov authored at least 11 papers between 2001 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS.
Proceedings of the Perspectives of System Informatics, 2019

2018
Schedulability Analysis for Strictly Periodic Tasks in RTOS.
Program. Comput. Softw., 2018

2012
Targeted data generation for application testing on databases.
Program. Comput. Softw., 2012

2008
Using abstract models for the generation of test data with a complex structure.
Program. Comput. Softw., 2008

Directed Generation of Test Data for Static Semantics Checker.
Proceedings of the Leveraging Applications of Formal Methods, 2008

2007
Model-Based Testing of Optimizing Compilers.
Proceedings of the Testing of Software and Communicating Systems, 2007

2006
Automatic Test Generation for Model-Based Code Generators.
Proceedings of the Leveraging Applications of Formal Methods, 2006

2005
Generation of Positive and Negative Tests for Parsers.
Program. Comput. Softw., 2005

Automated Generation of Positive and Negative Tests for Parsers.
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

2003
Test Generation for Compilers and Other Formal Text Processors.
Program. Comput. Softw., 2003

2001
Java Specification Extension for Automated Test Development.
Proceedings of the Perspectives of System Informatics, 2001


  Loading...