 | 2011 |
|---|
| 13 |       | Igor B. Bourdonov,
Alexander Kossatchev:
Specification completion for IOCO.
Programming and Computer Software 37(1): 1-14 (2011) |
| 2010 |
|---|
| 12 | | Igor B. Bourdonov,
Alexander Kossatchev:
Interaction semantics with refusals, divergence, and destruction.
Programming and Computer Software 36(5): 247-263 (2010) |
| 2009 |
|---|
| 11 | | Igor B. Bourdonov,
Alexander Kossatchev:
Systems with priorities: Conformance, testing, and composition.
Programming and Computer Software 35(4): 198-211 (2009) |
| 10 | | Igor B. Bourdonov,
Alexander Kossatchev:
Complete open-state testing of limitedly nondeterministic systems.
Programming and Computer Software 35(6): 301-313 (2009) |
| 2007 |
|---|
| 9 | | Igor B. Bourdonov,
Alexander Kossatchev,
Victor V. Kuliamin:
Formalization of test experiments.
Programming and Computer Software 33(5): 239-260 (2007) |
| 2006 |
|---|
| 8 | | 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 | | 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 | | Igor B. Bourdonov:
Traversal of an Unknown Directed Graph by a Finite Robot.
Programming and Computer Software 30(4): 188-203 (2004) |
| 5 | | 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 | | 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 | | 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 | | Igor B. Bourdonov,
Alexander Kossatchev,
Victor V. Kuliamin,
Alexander K. Petrenko:
UniTesK Test Suite Architecture.
FME 2002: 77-88 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page