This undergraduate course introduces students to foundations of software analysis and testing.

This graduate course is an advanced course covering software analysis research and practice.

This undergraduate course provides students with fundamentals of Software Engineering practices for the development of non-trivial software-intensive systems.