The sqlite test suite is a fantastic example of how to produce solid software. I wish it were used as a case study for all software engineering courses.