Seminar "Symbolic Execution"

Seminar about symbolic execution as versatile program analysis technique