Publication schedule
-
№3 September 2023
-
№4 December 2023
Latest issues
- 2023, Volume 16 Issue 2 Full text
- 2023, Volume 16 Issue 1 Full text
- 2022, Volume 15 Issue 4 Full text
- 2022, Volume 15 Issue 3 Full text
Articles from section "Conference «Tools & Methods of Program Analysis – 2013»"
Conformance testing automation for transport layer security protocol TLS
- Year: 2014
- Issue: 2
- 353
- 4975
- Pages: 180-188
Using of exchange simulators and test exchanges as tools to test Ticker Plant systems
- Year: 2014
- Issue: 2
- 287
- 4709
- Pages: 153-168
Particular qualities of testing tools used in industrial operation of trading systems
- Year: 2014
- Issue: 2
- 280
- 4871
- Pages: 143-152
Verifying correctness of hdl-model behavior on the basis of dynamical trace matching
- Year: 2014
- Issue: 2
- 329
- 4935
- Pages: 130-142