From the editors of the special issue V. A. NepomnyashchiiA. K. Petrenko EditorialNotes 23 November 2008 Pages: 305 - 306
Generation of correctness conditions for imperative programs N. V. ShilovI. S. AnureevE. V. Bodin OriginalPaper 23 November 2008 Pages: 307 - 321
On the synthesis of adaptive tests for nondeterministic finite state machines M. L. GromovN. V. EvtushenkoA. V. Kolomeets OriginalPaper 23 November 2008 Pages: 322 - 329
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets V. A. NepomniaschyV. S. ArgirovT. G. Churina OriginalPaper 23 November 2008 Pages: 330 - 340
Using abstract models for the generation of test data with a complex structure A. V. DemakovS. V. ZelenovS. A. Zelenova OriginalPaper 23 November 2008 Pages: 341 - 350
Automation of broad sanity test generation R. S. ZybinV. V. KuliaminE. S. Chernov OriginalPaper 23 November 2008 Pages: 351 - 363