Alexander Kossatchev

2007
16	EE	Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin: Formalization of test experiments. Programming and Computer Software 33(5): 239-260 (2007)
15	EE	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
14	EE	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	EE	Yuri Gurevich, Alexander K. Petrenko, Alexander Kossatchev: Preface. Electr. Notes Theor. Comput. Sci. 111: 1-3 (2005)
12	EE	Alexander Kossatchev, Mikhail Posypkin: Survey of compiler testing methods. Programming and Computer Software 31(1): 10-19 (2005)
2004
11	EE	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	EE	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	EE	Alexey Kalinov, Alexander Kossatchev, Alexandre Petrenko, Mikhail Posypkin, Vladimir Shishkov: Using ASM Specifications for Compiler Testing. Abstract State Machines 2003: 415
8	EE	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	EE	Alexey Kalinov, Alexander Kossatchev, Alexandre Petrenko, Mikhail Posypkin, Vladimir Shishkov: Coverage-driven Automated Compiler Test Suite Generation. Electr. Notes Theor. Comput. Sci. 82(3): (2003)
6	EE	Sergey V. Zelenov, Sophia A. Zelenova, Alexander Kossatchev, Alexandre Petrenko: Test Generation for Compilers and Other Formal Text Processors. Programming and Computer Software 29(2): 104-111 (2003)
5	EE	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	EE	Victor V. Kuliamin, Alexandre Petrenko, Alexander Kossatchev, Igor B. Burdonov: The UniTesK Approach to Designing Test Suites. Programming and Computer Software 29(6): 310-322 (2003)
2002
3	EE	Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin, Alexandre Petrenko: UniTesK Test Suite Architecture. FME 2002: 77-88
2001
2	EE	Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander Kossatchev, Victor V. Kuliamin, Alexandre Petrenko, Sergey V. Zelenov: Java Specification Extension for Automated Test Development. Ershov Memorial Conference 2001: 301-307
1999
1	EE	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]
2	Igor B. Burdonov	[1] [4]
3	Alexey V. Demakov	[2]
4	Dmitri Galter	[1]
5	Yuri Gurevich	[13]
6	V. P. Ivannikov	[15]
7	Andrew A. Jarov	[2]
8	Alexey Kalinov	[7] [9]
9	A. 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	[13] [15]
14	Alexandre Petrenko	[1] [2] [3] [4] [6] [7] [8] [9]
15	Mikhail Posypkin	[7] [9] [10] [12]
16	Vladimir Shishkov	[7] [9]
17	Sergey V. Zelenov	[2] [6]
18	Sophia A. Zelenova	[6]