Applying model-based testing to healthcare products: preliminary experiences.

Marlon Vieira, Xiping Song, Gilberto Matos, Stephan Storck, Rajanikanth Tanikella, William M. Hasling

Browse the full ICSE paper archive.