Model-based testing of NASA's OSAL API - An experience report.

Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Dave Mcf Omas, Alan Cudmore

Browse the full ISSRE paper archive.