Victor V. Kuliamin

	2009
17		Victor V. Kuliamin, Vitaliy A. Omelchenko, Olga L. Petrenko: Formal Methods: for All or for Chosen? CSEDU (2) 2009: 217-222
	2008
16		Victor V. Kuliamin: Test Construction for Mathematical Functions. TestCom/FATES 2008: 23-37
	2007
15		Victor V. Kuliamin: Standardization and testing of implementations of mathematical functions in floating point numbers. Programming and Computer Software 33(3): 154-173 (2007)
14		Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin: Formalization of test experiments. Programming and Computer Software 33(5): 239-260 (2007)
13		V. P. Ivannikov, A. S. Kamkin, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko: The use of contract specifications for representing requirements and for functional testing of hardware models. Programming and Computer Software 33(5): 272-282 (2007)
	2006
12		Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexandre Petrenko, Vladimir V. Rubanov: Formal Methods in Industrial Software Standards Enforcement. Ershov Memorial Conference 2006: 456-466
11		Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin: Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. Electr. Notes Theor. Comput. Sci. 164(4): 83-96 (2006)
	2005
10		Victor V. Kuliamin, Nick V. Pakoulin, Alexandre Petrenko: Practical Approach to Specification and Conformance Testing of Distributed Network Applications. ISAS 2005: 68-83
9		Victor V. Kuliamin: Multi-paradigm Models as Source for Automated Test Construction. Electr. Notes Theor. Comput. Sci. 111: 137-160 (2005)
8		Victor V. Kuliamin: Test Sequence Construction Using Minimum Information on the Tested System. Programming and Computer Software 31(6): 301-309 (2005)
	2004
7		Victor V. Kuliamin: Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System. ISoLA (Preliminary proceedings) 2004: 311-316
6		Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin: Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case. Programming and Computer Software 30(1): 2-17 (2004)
	2003
5		Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pakoulin, Alexander Kossatchev, Igor B. Bourdonov: Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. Ershov Memorial Conference 2003: 450-461
4		Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin: Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case. Programming and Computer Software 29(5): 245-258 (2003)
3		Victor V. Kuliamin, Alexander K. Petrenko, Alexander Kossatchev, Igor B. Burdonov: The UniTesK Approach to Designing Test Suites. Programming and Computer Software 29(6): 310-322 (2003)
	2002
2		Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko: UniTesK Test Suite Architecture. FME 2002: 77-88
	2001
1		Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov: Java Specification Extension for Automated Test Development. Ershov Memorial Conference 2001: 301-307

Coauthor Index

1	Igor B. Bourdonov	[1] [2] [4] [5] [6] [11] [14]
2	Igor B. Burdonov	[3]
3	Alexey V. Demakov	[1]
4	Alexey Grinevich	[12]
5	V. P. Ivannikov	[13]
6	Andrew A. Jarov	[1]
7	A. S. Kamkin	[13]
8	Alexey V. Khoroshilov	[12]
9	Alexander Kossatchev	[1] [2] [3] [4] [5] [6] [11] [13] [14]
10	Denis Markovtsev	[12]
11	Vitaliy A. Omelchenko	[17]
12	Nick V. Pakoulin	[5] [10]
13	Alexander K. Petrenko	[1] [2] [3] [13]
14	Alexandre Petrenko	[5] [10] [12]
15	Olga L. Petrenko	[17]
16	Vladimir V. Rubanov	[12]
17	Sergey V. Zelenov	[1]