Paper: Trends in symbolic execution

Dan will lead discussion of A Survey of New Trends in Symbolic Execution for Software Testing and Analysis, by Corina S. Păsăreanu and Willem Visser.  This looks like a nice overview as well as having a couple of new twists.