Heikki Virtanen (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

Selection of 2 from 5 records - Heikki Virtanen has 11 coauthors

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
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