| 2008 |
|---|
| 6 | EE | M. V. Arkhipova,
Sergey V. Zelenov:
Directed Generation of Test Data for Static Semantics Checker.
ISoLA 2008: 753-768 |
| 2007 |
|---|
| 5 | EE | Sergey V. Zelenov,
Sophia A. Zelenova:
Model-Based Testing of Optimizing Compilers.
TestCom/FATES 2007: 365-377 |
| 2005 |
|---|
| 4 | EE | Sergey V. Zelenov,
Sophia A. Zelenova:
Automated Generation of Positive and Negative Tests for Parsers.
FATES 2005: 187-202 |
| 3 | EE | Sergey V. Zelenov,
Sophia A. Zelenova:
Generation of Positive and Negative Tests for Parsers.
Programming and Computer Software 31(6): 310-320 (2005) |
| 2003 |
|---|
| 2 | EE | Sergey V. Zelenov,
Sophia A. Zelenova,
Alexander Kossatchev,
Alexandre Petrenko:
Test Generation for Compilers and Other Formal Text Processors.
Programming and Computer Software 29(2): 104-111 (2003) |
| 2001 |
|---|
| 1 | EE | Igor B. Bourdonov,
Alexey V. Demakov,
Andrew A. Jarov,
Alexander Kossatchev,
Victor V. Kuliamin,
Alexandre Petrenko,
Sergey V. Zelenov:
Java Specification Extension for Automated Test Development.
Ershov Memorial Conference 2001: 301-307 |
