Publication schedule
-
№4 December 2021
-
№1 March 2022
-
№2 June 2022
-
№3 September 2022
Latest issues
- 2021, Volume 14 Issue 3 Full text
- 2021, Volume 14 Issue 2 Full text
- 2021, Volume 14 Issue 1 Full text
- 2020, Volume 13 Issue 4 Full text
Articles from section "Conference «Tools & Methods of Program Analysis – 2014»"
Integration Testing Automation: Case Study of Financial Data Exchange Modules Based on FIX-protocol
- Year: 2015
- Issue: 1
- 297
- 3056
- Pages: 88-96
VERMONT – a Toolset for Verification of Software Defined Networks
- Year: 2015
- Issue: 1
- 314
- 2897
- Pages: 74-87
A Method of Extended Finite State Machines Construction from HDL Descriptions Based on Static Analysis of Source Code
- Year: 2015
- Issue: 1
- 259
- 3283
- Pages: 60-73