Лекция Николая Вальтеровича на the 2009 Google Test and Automation Conference in Zurich. 45 минут.
http://www.youtube.com/watch?v=8W5Jd_wzB90

В конце тезис, типа, что простой язык и соотв. техника программиста эффективней, чем автоматическая верификация и т.п.
Внимательно еще не посмотрел.