Model-based quality assurance of windows protocol documentation (2008)

by Wolfgang Grieskamp, Dave Macdonald, Nicolas Kicillof, Alok N, Keith Stobie, Fred Wurden
Venue:In First International Conference on Software Testing, Verification and Validation, ICST