Testing
	v In practice, what we must do is carefully define and refine the problem specification, use good programming style, and test.  Testing: o By the developer o By testers (in large organizations) o Beta test o User feedback