The courses I taught/developed:
Cpts 317: Automata and Formal Languages (Fall 2007)
Cpts 322: Software Engineering Principles I: Introduction to Software Engineering (Spring 2008)
Cpts 323: Software Design (Spring 2008, Spring 2009)
Cpts 422: Software Engineering Principles II: Software Testing and Analysis (Fall 2007, Fall 2008)
Cpts 423: Software Design Project II (Spring 2009, 2010, 2011, 2012, 2013, 2014, 2015)
Cpts 580: Advanced Software Testing and Analysis (Spring 2014, 2015)