Nikolay V. Pakulin

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Operating System

Electronic Mail

Testing Process

Top Venues

Int. J. Softw. Tools Technol. Transf.

Program. Comput. Softw.

Publications

Benjamin Zeiss, András Kovács, Nikolay V. Pakulin, Bogdan Stanca-Kaposta
A conformance test suite for TTCN-3 tools - Black-Box functional testing of TTCN-3 syntax and semantics. Int. J. Softw. Tools Technol. Transf. 16 (3) (2014)
Nikolay V. Pakulin, Anastasia Tugaenko, V. Z. Shnitman
Model-based testing of internet e-mail protocols. Program. Comput. Softw. 38 (5) (2012)
Denis Efremov, Nikolay V. Pakulin
Sevigator: Network Confinement of Malware Applications and Untrusted Operating Systems. SECRYPT (2012)
A. V. Nikeshin, Nikolay V. Pakulin, V. Z. Shnitman
Development of a test suite for the verification of implementations of the IPsec v2 security protocol. Program. Comput. Softw. 37 (1) (2011)
Nikolay V. Pakulin, Anastasia Tugaenko
Specification Based Conformance Testing for Email Protocols. ISoLA (2) (2010)
Nikolay V. Pakulin, Vladimir V. Rubanov
A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems. Ershov Memorial Conference (2009)
Nikolay V. Pakulin, Alexey V. Khoroshilov
Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols. Program. Comput. Softw. 33 (6) (2007)