Heikki Virtanen

	2009
5		Antti Jääskeläinen, Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Tommi Takala, Heikki Virtanen: Automatic GUI test generation for smartphone applications - an evaluation. ICSE Companion 2009: 112-122
	2008
4		Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen: Synthesizing Test Models from Test Cases. Haifa Verification Conference 2008: 179-193
	2004
3		Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä: Tampere Verification Tool. TACAS 2004: 153-157
	2003
2		Henri Hansen, Heikki Virtanen, Antti Valmari: Merging State-Based and Action-Based Verification. ACSD 2003: 150-156
	2002
1		Antti Valmari, Heikki Virtanen, Antti Puhakka: Context-Sensitive Visibility. Electr. Notes Theor. Comput. Sci. 66(2): (2002)

Coauthor Index

1	Timo Erkkilä	[3]
2	Henri Hansen	[2] [3]
3	Antti Jääskeläinen	[4] [5]
4	Mika Katara	[4] [5]
5	Antti Kervinen	[4] [5]
6	Mika Maunumaa	[5]
7	Juha Nieminen	[3]
8	Tuula Pääkkönen	[5]
9	Antti Puhakka	[1]
10	Tommi Takala	[5]
11	Antti Valmari	[1] [2] [3] [4]