%0 Book Section %1 series/natosec/BallD15 %A Ball, Thomas %A Daniel, Jakub %B Dependable Software Systems Engineering %D 2015 %E Irlbeck, Maximilian %E Peled, Doron A. %E Pretschner, Alexander %I IOS Press %K dblp %P 26-41 %T Deconstructing Dynamic Symbolic Execution. %U http://dblp.uni-trier.de/db/series/natosec/natosec40.html#BallD15 %V 40 %@ 978-1-61499-495-4

@incollection{series/natosec/BallD15, added-at = {2015-07-06T00:00:00.000+0200}, author = {Ball, Thomas and Daniel, Jakub}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2be2f7ca78e8ba11bea6b0ce666cb0c14/dblp}, booktitle = {Dependable Software Systems Engineering}, crossref = {series/natosec/40}, editor = {Irlbeck, Maximilian and Peled, Doron A. and Pretschner, Alexander}, ee = {http://dx.doi.org/10.3233/978-1-61499-495-4-26}, interhash = {f0d2a07c393e450456c11f8385a0e745}, intrahash = {be2f7ca78e8ba11bea6b0ce666cb0c14}, isbn = {978-1-61499-495-4}, keywords = {dblp}, pages = {26-41}, publisher = {IOS Press}, series = {NATO Science for Peace and Security Series, D: Information and Communication Security}, timestamp = {2016-02-13T10:32:03.000+0100}, title = {Deconstructing Dynamic Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/series/natosec/natosec40.html#BallD15}, volume = 40, year = 2015 }