Fellow
United States – 2013
CITATION

For contributions to software reliability and quality.

ACM Distinguished Member
United States – 2011