| 305 | -- | 306 | V. A. Nepomnyashchii, Alexander K. Petrenko. From the editors of the special issue |
| 307 | -- | 321 | Nikolay V. Shilov, Igor S. Anureev, E. V. Bodin. Generation of correctness conditions for imperative programs |
| 322 | -- | 329 | M. L. Gromov, N. V. Evtushenko, A. V. Kolomeets. On the synthesis of adaptive tests for nondeterministic finite state machines |
| 330 | -- | 340 | V. A. Nepomniaschy, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina. Modeling and verification of the SDL-specified communication protocols using high-level Petri nets |
| 341 | -- | 350 | Alexey V. Demakov, Sergey V. Zelenov, Sophia A. Zelenova. Using abstract models for the generation of test data with a complex structure |
| 351 | -- | 363 | R. S. Zybin, Victor V. Kuliamin, A. V. Ponomarenko, Vladimir V. Rubanov, E. S. Chernov. Automation of broad sanity test generation |