Media type: E-Book Title: Dynamic Symbolic Execution with Scalable Interpolation Based Path Merging Other titles: Dynamische symbolische Ausführung mit skalierbarer interpolationsbasierter Pfadverschmelzung Contributor: Ibing, Andreas [Verfasser]; Eckert, Claudia [Akademischer Betreuer]; Pretschner, Alexander [Gutachter]; Eckert, Claudia [Gutachter] imprint: München: Universitätsbibliothek der TU München, 2017 Extent: Online-Ressource Language: English Identifier: Keywords: Interpolation ; Race ; Scheduling ; DAT Datenverarbeitung, Informatik Origination: University thesis: Dissertation, München, Technische Universität München, 2017 Footnote: Access State: Open Access