Tuomo Pyhälä

Specification coverage aided test selection

Keijo Heljanko, Tuomo Pyhälä, Keijo Heljanko, 2003, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..

Bomotest - A formal conformance testing tool, Version 1.5

Keijo Heljanko, Tuomo Pyhälä, Keijo Heljanko, 2003 .

SPECIFICATION-BASED TEST SELECTION IN FORMAL CONFORMANCE TESTING

Tuomo Pyhälä, Tuomo Pyhälä, 2004 .