Articles

I’ve published 58 articles in practitioner and refereed publications which have been cited by others over 2,100 times. Here are some highlights.

• 2011 Model-based Testing User Survey.
• Microsoft’s Protocol Documentation Program: Interoperability Testing at Scale
  ACM Queue.
• Model-based Testing Update. IEEE Reliability Society 2010 Annual Technical Report.
• What’s my Testing ROI? mVerify White Paper, 2009.
• The Percolation Pattern, C++ Report.
• Monthly column 1995-1998, Object Magazine.
• Can a Manufacturing Quality Model Work for Software? IEEE Software.
• Testing Object-Oriented Programs: a Survey. Journal of Software Testing, Verification and Reviews. This comprehensive survey of the state of the art was serialized using all pages of two issues of an archival journal.
• Design for Testability with Object-Oriented Systems. Communications of the ACM.
• KB/RMS: An Intelligent Assistant for Requirement Definition, International Journal of Artificial Intelligence Tools.

Click here to view the complete biblography.