STVR Diary. (Software Testing: Verification & Reliability, 1994)