Context-Sensitive Visibility. - Antti Valmari; Heikki Virtanen; Antti Puhakka (FMICS, 2002)

Merging State-Based and Action-Based Verification. - Henri Hansen; Heikki Virtanen; Antti Valmari (ACSD, 2003)

Tampere Verification Tool. - Heikki Virtanen; Henri Hansen; Antti Valmari; Juha Nieminen; Timo Erkkilä (TACAS, 2004)

Synthesizing Test Models from Test Cases. - Antti Jääskeläinen; Antti Kervinen; Mika Katara; Antti Valmari; Heikki Virtanen (Haifa Verification Conference, 2008)

Automatic GUI test generation for smartphone applications - an evaluation. - Antti Jääskeläinen; Mika Katara; Antti Kervinen; Mika Maunumaa; Tuula Pääkkönen; Tommi Takala; Heikki Virtanen (ICSE Companion, 2009)

Model-Based Testing Using System vs. Test Models - What Is the Difference?. - Qaisar A. Malik; Antti Jääskeläinen; Heikki Virtanen; Mika Katara; Fredrik Abbors; Dragos Truscan; Johan Lilius (ECBS, 2010)

A Comparison of Test Generation Algorithms for Testing Application Interactions. - Antti Nieminen; Antti Jääskeläinen; Heikki Virtanen; Mika Katara (QSIC, 2011)

Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools. - Antti Jääskeläinen; Mika Katara; Shmuel Katz; Heikki Virtanen (SSV, 2011)

Action-Based Visualization. - Antti Jääskeläinen; Hannu-Matti Järvinen; Heikki Virtanen (VISSOFT, 2014)