CIS 6614 Lecture -*- Outline -*-

* symbolic-execution

** automatic-theorem-proving

** concolic-testing