Antti Huima

According to our database, Antti Huima authored at least 5 papers between 2004 and 2011.

Collaborative distances:

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

2011

Behavioral System Models versus Models of Testing Strategies in Functional Test Generation.

Antti Huima

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2007

Implementing Conformiq Qtronic.

Antti Huima

Proceedings of the Testing of Software and Communicating Systems, 2007

Towards Model-Based Testing with Architecture Models.

Stephan Schulz, Jukka Honkola, Antti Huima

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2005

A Note on an Anomaly in Black-Box Testing.

Antti Huima

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

2004

Sets in Z _nwith distinct sums of pairs.

Harri Haanpää, Antti Huima, Patric R. J. Östergård

Discret. Appl. Math., 2004