Thanks to my wife Marcia for encouraging me to finish a book I had been talking about for 10 years. She suggested that I read the Lord Peter Wimsey mysteries, and the result is apparent in this book.
Thanks to Dr. Lawrence Rauchwerger, Dr. Nancy Amato, and their graduate students at Texas A&M University for giving me opportunities to present an early version of this material to them and for giving me valuable feedback on their classes.
Thanks to my managers at Hewlett-Packard, Betty van Houten, Steve Rowan, and Ty Rabe, who gave their permission for HP Books to publish this book.
Thanks to all the programmers I have worked with and managed at I.P. Sharp Associates, Convex Computer Corporation, and Hewlett-Packard. I learned both from your successes and failures in debugging complex systems.
Thanks to Ken Robinson and the technical support people at Parasoft, who gave me lots of help working with Insure++.
Thanks to my editor, Pam Chester, for taking on this project enthusiastically and carrying it through to completion professionally.
Thanks to my technical reviewers, Steve Heller, Piotr Findeisen, and Richard Goldhor, whose helpful suggestions greatly improved the quality of this book.
Any errors that remain are purely the responsibility of the author.