Of the many different types of bugs testers find in products, "asserts" seem to be the most obvious. Vastly simplified, an "assert" is a piece of code that checks for some unexpexted condition before continuing, and pops up a dialog if those conditions