Microsofts Protocol Documentation Program: A Success Story for Model-Based Testing Yiming Cao, Lead Software Design Engineer Windows Interoperability Engineering.