Microsoft's protocol documentation program: a success story for model-based testing

This paper illustrates how software can be described precisely using LD-relations, how these descriptions can be presented in a readable manner using tabular notations, and one way such descriptions can be used to test programs. We describe an algorithm ...

One definition of documentation is 'Any written or pictorial information describing, defining, specifying, reporting, or certifying activities, requirements, procedures, or results.' (1). Documentation is as important to a product's success as the ...