CS 598 AST - Special Topics - Adv Software Testing and Debug
Subject offerings of new and developing areas of knowledge in computer science intended to augment the existing curriculum. See Class Schedule or departmental course information for topics and prerequisites. Course Information: May be repeated in the same or separate terms if topics vary.
The purpose of this course is to teach the principles and practices of software testing and debugging. We will together explore advanced testing and debugging techniques to detect, diagnose, localize, and fix software bugs for real-world software systems from various application domains. This course will not only expose students to the cutting-edge research of software testing and debugging, but will also encourage students to explore the bidirectional synergy between software testing/debugging and other research areas, such as formal methods, programming languages, security, and machine learning. This is a research-oriented seminar course with a major course project, and we plan to go over the following main topics: Guided unit test generation Symbolic execution Fuzz testing Specification-based test generation Human-assisted bug detection Test oracle inference Failure analysis and cause reduction Fault localization Search-based program repair Semantics-based program repair Faster pr
Option 1Number of Required Visit(s): 0
Course Level: Graduate