| 2007 |
|---|
| 9 | EE | Igor B. Bourdonov,
Alexander Kossatchev,
Victor V. Kuliamin:
Formalization of test experiments.
Programming and Computer Software 33(5): 239-260 (2007) |
| 2006 |
|---|
| 8 | EE | Igor B. Bourdonov,
Alexander Kossatchev,
Victor V. Kuliamin:
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions.
Electr. Notes Theor. Comput. Sci. 164(4): 83-96 (2006) |
| 2004 |
|---|
| 7 | EE | Igor B. Bourdonov,
Alexander Kossatchev,
Victor V. Kuliamin:
Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case.
Programming and Computer Software 30(1): 2-17 (2004) |
| 6 | EE | Igor B. Bourdonov:
Traversal of an Unknown Directed Graph by a Finite Robot.
Programming and Computer Software 30(4): 188-203 (2004) |
| 5 | EE | Igor B. Bourdonov:
Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite Robot.
Programming and Computer Software 30(6): 305-322 (2004) |
| 2003 |
|---|
| 4 | EE | Victor V. Kuliamin,
Alexandre Petrenko,
Nick V. Pakoulin,
Alexander Kossatchev,
Igor B. Bourdonov:
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems.
Ershov Memorial Conference 2003: 450-461 |
| 3 | EE | Igor B. Bourdonov,
Alexander Kossatchev,
Victor V. Kuliamin:
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case.
Programming and Computer Software 29(5): 245-258 (2003) |
| 2002 |
|---|
| 2 | EE | Igor B. Bourdonov,
Alexander Kossatchev,
Victor V. Kuliamin,
Alexandre Petrenko:
UniTesK Test Suite Architecture.
FME 2002: 77-88 |
| 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 |
