Sets in Z nwith distinct sums of pairs. - Harri Haanpää; Antti Huima; Patric R. J. Östergård (Discret. Appl. Math., 2004)

A Note on an Anomaly in Black-Box Testing. - Antti Huima (FATES, 2005)

Towards Model-Based Testing with Architecture Models. - Stephan Schulz 002; Jukka Honkola; Antti Huima (ECBS, 2007)

Implementing Conformiq Qtronic. - Antti Huima (TestCom/FATES, 2007)

Behavioral System Models versus Models of Testing Strategies in Functional Test Generation. - Antti Huima (Model-Based Testing for Embedded Systems, 2011)