Thierry Jeron, Margus Veanes, and Burkhart Wolff (chairs): Symbolic Methods in Testing. Dagstuhl Seminary, Jan. 2013. (DONE)