 | 2008 |
|---|
| 7 |       | M. V. Arkhipova,
Sergey V. Zelenov:
Directed Generation of Test Data for Static Semantics Checker.
ISoLA 2008: 753-768 |
| 2007 |
|---|
| 6 | | Sergey V. Zelenov,
Sophia A. Zelenova:
Model-Based Testing of Optimizing Compilers.
TestCom/FATES 2007: 365-377 |
| 2006 |
|---|
| 5 | | Sergey V. Zelenov,
Denis V. Silakov,
Alexander K. Petrenko,
Mirko Conrad,
Ines Fey:
Automatic Test Generation for Model-Based Code Generators.
ISoLA 2006: 75-81 |
| 2005 |
|---|
| 4 | | Sergey V. Zelenov,
Sophia A. Zelenova:
Automated Generation of Positive and Negative Tests for Parsers.
FATES 2005: 187-202 |
| 3 | | 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 | | Sergey V. Zelenov,
Sophia A. Zelenova,
Alexander Kossatchev,
Alexander K. Petrenko:
Test Generation for Compilers and Other Formal Text Processors.
Programming and Computer Software 29(2): 104-111 (2003) |
| 2001 |
|---|
| 1 | | Igor B. Bourdonov,
Alexey V. Demakov,
Andrew A. Jarov,
Alexander Kossatchev,
Victor V. Kuliamin,
Alexander K. Petrenko,
Sergey V. Zelenov:
Java Specification Extension for Automated Test Development.
Ershov Memorial Conference 2001: 301-307 |
