Augmented Dynamic Symbolic Execution explained User Konrad Jamrozik on YouTube, 16 Jul 2013 This presentation is based on the talk given on 7th International Conference on Tests