Topics vary but may include software design and evolution, formal methods, requirements specifications, software and system safety, reverse engineering, real-time software, metrics and measurement, programming environments, and verification and validation. Prerequisite: CSE major or permission of instructor.
Program Analysis for Software and Web Security
Student learning goals
General method of instruction
At least one course in security and PL or compilers
Class assignments and grading