Title: Symbolic Execution in Software Testing

Abstract: Symbolic execution is a program analysis technique that has been
around since the 1970s.  It has recently received renewed interest due to
algorithmic advances and increased availability of computational power and
constraint solving technology. In this talk, we will review classical
symbolic execution and discuss its recent application in automated test
case generation.