Media type: E-Book; Thesis Title: Model Checking and Model-Based Testing : Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations Contributor: Faragó, David [Verfasser]; Schmitt, P. H. [Akademischer Betreuer] imprint: Karlsruhe: KIT-Bibliothek, 2016 Extent: Online-Ressource Language: English Identifier: Keywords: model checking ; model-based testing ; laziness ; parallelization ; heuristics ; Hochschulschrift Origination: University thesis: Dissertation, Karlsruhe, Karlsruher Institut für Technologie (KIT), 2016 Footnote: Access State: Open Access