Alexander K. Petrenko Vis

*	2008
13	EE	Alexander K. Petrenko, Olga L. Petrenko: Formal Methods and Innovation Economy: Facing New Challenges. SEFM 2008: 367-371
12	EE	Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 220(1): 1 (2008)
	2007
11	EE	Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 190(2): 1 (2007)
10	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
9	EE	Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey: Automatic Test Generation for Model-Based Code Generators. ISoLA 2006: 75-81
8	EE	Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 164(4): 1 (2006)
	2005
7	EE	Yuri Gurevich, Alexander K. Petrenko, Alexander Kossatchev: Preface. Electr. Notes Theor. Comput. Sci. 111: 1-3 (2005)
	2003
6	EE	Alexey Kalinov, Alexander Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov: Using ASM Specifications for Compiler Testing. Abstract State Machines 2003: 415
5	EE	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): (2003)
4	EE	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)
3	EE	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	EE	Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko: UniTesK Test Suite Architecture. FME 2002: 77-88
	2001
1	EE	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]
2	Igor B. Burdonov	[3]
3	Mirko Conrad	[9]
4	Alexey V. Demakov	[1]
5	Ines Fey	[9]
6	Bernd Finkbeiner	[8] [11] [12]
7	Yuri Gurevich	[7] [8] [11] [12]
8	V. P. Ivannikov	[10]
9	Andrew A. Jarov	[1]
10	Alexey Kalinov	[5] [6]
11	A. S. Kamkin	[10]
12	Alexander Kossatchev	[1] [2] [3] [4] [5] [6] [7] [10]
13	Victor V. Kuliamin	[1] [2] [3] [10]
14	Olga L. Petrenko	[13]
15	Mikhail Posypkin	[5] [6]
16	Vladimir Shishkov	[5] [6]
17	Denis V. Silakov	[9]
18	Sergey V. Zelenov	[1] [4] [9]
19	Sophia A. Zelenova	[4]