This course assumes no specific knowledge in the field. It will be an introductory course to main problems (including decidability and tradeoff between testing and analysis and the presentation of few core approaches). In the course Prof. needs to refer to the software development process, and he also needs to assume that students know some programming. Slides of the lectures are available from the Software Testing and Analysis: Process, Principles, and Techniques book page.