Alexander Kossatchev

	2011
20		Igor B. Bourdonov, Alexander Kossatchev: Specification completion for IOCO. Programming and Computer Software 37(1): 1-14 (2011)
	2010
19		Igor B. Bourdonov, Alexander Kossatchev: Interaction semantics with refusals, divergence, and destruction. Programming and Computer Software 36(5): 247-263 (2010)
	2009
18		Igor B. Bourdonov, Alexander Kossatchev: Systems with priorities: Conformance, testing, and composition. Programming and Computer Software 35(4): 198-211 (2009)
17		Igor B. Bourdonov, Alexander Kossatchev: Complete open-state testing of limitedly nondeterministic systems. Programming and Computer Software 35(6): 301-313 (2009)
	2007
16		Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin: Formalization of test experiments. Programming and Computer Software 33(5): 239-260 (2007)
15		V. P. Ivannikov, Alexander 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
14		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
13		Yuri Gurevich, Alexander K. Petrenko, Alexander Kossatchev: Preface. Electr. Notes Theor. Comput. Sci. 111: 1-3 (2005)
12		Alexander Kossatchev, Mikhail Posypkin: Survey of compiler testing methods. Programming and Computer Software 31(1): 10-19 (2005)
	2004
11		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)
10		Alexander Kossatchev, P. Kutter, Mikhail Posypkin: Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language. Programming and Computer Software 30(4): 218-229 (2004)
	2003
9		Alexey Kalinov, Alexander Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov: Using ASM Specifications for Compiler Testing. Abstract State Machines 2003: 415
8		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
7		Alexey Kalinov, Alexander Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov: Coverage-driven Automated Compiler Test Suite Generation. Electr. Notes Theor. Comput. Sci. 82(3): 500-514 (2003)
6		Sergey V. Zelenov, Sophia A. Zelenova, Alexander Kossatchev, Alexander K. Petrenko: Test Generation for Compilers and Other Formal Text Processors. Programming and Computer Software 29(2): 104-111 (2003)
5		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)
4		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
3		Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko: UniTesK Test Suite Architecture. FME 2002: 77-88
	2001
2		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
	1999
1		Igor B. Burdonov, Alexander Kossatchev, Alexandre Petrenko, Dmitri Galter: KVEST: Automated Generation of Test Suites from Formal Specifications. World Congress on Formal Methods 1999: 608-621

Coauthor Index

1	Igor B. Bourdonov	[2] [3] [5] [8] [11] [14] [16] [17] [18] [19] [20]
2	Igor B. Burdonov	[1] [4]
3	Alexey V. Demakov	[2]
4	Dmitri Galter	[1]
5	Yuri Gurevich	[13]
6	Victor Ivannikov (V. P. Ivannikov)	[15]
7	Andrew A. Jarov	[2]
8	Alexey Kalinov	[7] [9]
9	Alexander S. Kamkin	[15]
10	Victor V. Kuliamin	[2] [3] [4] [5] [8] [11] [14] [15] [16]
11	P. Kutter	[10]
12	Nick V. Pakoulin	[8]
13	Alexander K. Petrenko	[2] [3] [4] [6] [7] [9] [13] [15]
14	Alexandre Petrenko	[1] [8]
15	Mikhail Posypkin	[7] [9] [10] [12]
16	Vladimir Shishkov	[7] [9]
17	Sergey V. Zelenov	[2] [6]
18	Sophia A. Zelenova	[6]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page