"Programming is the only engineering profession that spends half its time and effort on detecting and correcting mistakes made in the other half of its time", Tony Hoare, Microsoft Research