Heikki Virtanen

According to our database, Heikki Virtanen authored at least 9 papers between 2002 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2014

Action-Based Visualization.

Antti Jääskeläinen, Hannu-Matti Järvinen, Heikki Virtanen

Proceedings of the Second IEEE Working Conference on Software Visualization, 2014

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

Proceedings of the 6th International Workshop on Systems Software Verification, 2011

A Comparison of Test Generation Algorithms for Testing Application Interactions.

Antti Nieminen, Antti Jääskeläinen, Heikki Virtanen, Mika Katara

Proceedings of the 11th International Conference on Quality Software, 2011

2010

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

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009

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

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Synthesizing Test Models from Test Cases.

Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen

Proceedings of the Hardware and Software: Verification and Testing, 2008

2004

Tampere Verification Tool.

Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2003

Merging State-Based and Action-Based Verification.

Henri Hansen, Heikki Virtanen, Antti Valmari

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Context-Sensitive Visibility.

Antti Valmari, Heikki Virtanen, Antti Puhakka

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002