H. Veith: "How did you specify your test suite?"; Talk: Alpine Verification Meeting, IST Austria; 2011-03-14.