- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c7 |      | Antti Nieminen, Antti Jääskeläinen, Heikki Virtanen, Mika Katara: A Comparison of Test Generation Algorithms for Testing Application Interactions. QSIC 2011: 131-140 |
| c6 | | Antti Jääskeläinen, Mika Katara, Shmuel Katz, Heikki Virtanen: Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools. SSV 2011: 44-56 |
| 2010 | ||
| c5 | | Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius: Model-Based Testing Using System vs. Test Models - What Is the Difference?. ECBS 2010: 291-299 |
| 2009 | ||
| c4 | | 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 | ||
| c3 | | 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 | ||
| c2 | | Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä: Tampere Verification Tool. TACAS 2004: 153-157 |
| 2003 | ||
| c1 | | Henri Hansen, Heikki Virtanen, Antti Valmari: Merging State-Based and Action-Based Verification. ACSD 2003: 150-156 |
| 2002 | ||
| j1 | | Antti Valmari, Heikki Virtanen, Antti Puhakka: Context-Sensitive Visibility. Electr. Notes Theor. Comput. Sci. 66(2): 194-210 (2002) |
Data released under the ODC-BY 1.0 license — See also our legal information page