Sergey V. Zelenov - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2019

Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOSSophia A. Zelenova, Sergey V. Zelenov. ershov 2019: 214-222 [doi]

2018

Schedulability Analysis for Strictly Periodic Tasks in RTOSSophia A. Zelenova, Sergey V. Zelenov. pcs, 44(3):159-169, 2018. [doi]

2012

Targeted data generation for application testing on databasesE. A. Kostychev, V. A. Omel'chenko, Sergey V. Zelenov. pcs, 38(6):327-334, 2012. [doi]

2008

Directed Generation of Test Data for Static Semantics CheckerM. V. Arkhipova, Sergey V. Zelenov. ISoLA 2008: 753-768 [doi]

Using abstract models for the generation of test data with a complex structureAlexey V. Demakov, Sergey V. Zelenov, Sophia A. Zelenova. pcs, 34(6):341-350, 2008. [doi]

2007

Model-Based Testing of Optimizing CompilersSergey V. Zelenov, Sophia A. Zelenova. pts 2007: 365-377 [doi]

2006

Automatic Test Generation for Model-Based Code GeneratorsSergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey. ISoLA 2006: 75-81 [doi]

2005

Automated Generation of Positive and Negative Tests for ParsersSergey V. Zelenov, Sophia A. Zelenova. fates 2006: 187-202 [doi]

Generation of Positive and Negative Tests for ParsersSergey V. Zelenov, Sophia A. Zelenova. pcs, 31(6):310-320, 2005. [doi]

2003

Test Generation for Compilers and Other Formal Text ProcessorsSergey V. Zelenov, Sophia A. Zelenova, Alexander Kossatchev, Alexander K. Petrenko. pcs, 29(2):104-111, 2003. [doi]

2001

Java Specification Extension for Automated Test DevelopmentIgor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov. ershov 2001: 301-307 [doi]

Sign in or sign up to see more results.

runs on WebDSL