1. On the 75th Birthday of Vladimir Vasil'evich Lipaev

   OriginalPaper Pages: 295 - 295

2. Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal

   • A. K. Petrenko

   OriginalPaper Pages: 296 - 297

3. A Methodology of Verification and Testing of Large Software Systems

   • V. V. Lipaev

   OriginalPaper Pages: 298 - 309

4. The UniTesK Approach to Designing Test Suites

   • V. V. Kuliamin
   • A. K. Petrenko
   • I. B. Burdonov

   OriginalPaper Pages: 310 - 322

5. OCL-Based Automated Validation Method for UML Specifications

   • L. Ol'khovich
   • D. V. Koznov

   OriginalPaper Pages: 323 - 327

6. Algebraic Semantics of an Imperative Programming Language

   • A. V. Zamulin

   OriginalPaper Pages: 328 - 337

7. Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language

   • V. A. Nepomniaschy
   • I. S. Anureev
   • A. V. Promskii

   OriginalPaper Pages: 338 - 350