Thomas Ball, Jakub Daniel. Deconstructing Dynamic Symbolic Execution. In Maximilian Irlbeck, Doron Peled, Alexander Pretschner, editors, Dependable Software Systems Engineering. Volume 40 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 26-41, IOS Press, 2015. [doi]