This course will survey current research in developing tools and techniques for assuring software quality. As computing technology continues to permeate every aspect of personal and public life, the need for assuring the reliability of our computing infrastructure is increasing steadily. Driven by these societal needs, software quality research has become very active in the last few years. This course will survey current work in this area. While research in software engineering is as old as programming, recent approaches have broken new ground and there is currently a great deal of ferment. Thus, this course will necessarily take in a broad selection of topics, including research in testing, monitoring of running systems, capturing and querying program traces, several variations on extending type systems and other static analyses, theorem proving systems, and software model checking.