One of the things we pride ourself with at work is well written code. In a previous post I have mentioned the code review (also known as peer review) process, but we also use Lint by Gimpel Software for static C++ code analysis.
There was a new article about The Problems of Testing 64-bit Applications which is interesting from the point of view that it approaches the problem from a code correctness viewpoint.
At the end of the article there is a good selection of links to interesting software, papers and theories.
