Capture-Replay and Test Automation [email protected] Models and Analysis of Software Lecture 9 Copyright,