Media type: E-Book Title: Statistical path coverage for non-deterministic complex safety-related software testing Other titles: Statistische Pfadabdeckung für nicht-deterministische, komplexe und sicherheitsrelevante Softwaretests Contributor: Allende, Imanol [Author]; Obermaisser, Roman [Other] Published: Siegen: Universitätsbibliothek der Universität Siegen, 2022 Extent: Online-Ressource Language: English Identifier: Keywords: Modellgetriebene Entwicklung ; Autonomous systems ; Non-determinism ; Safety ; Test-coverage Origination: University thesis: Dissertation, Siegen, Universität Siegen, 2022 Footnote: Access State: Open Access