Statistics for Automated Model-based Test Generation for Platform-specific Implementations