„Softwaretest“

Suchergebnisse

1.017 Treffer

• Grafikunterstütztes Simulationssystem für komplexe Bearbeitungsvorgänge in numerischen Steuerungen
  Schmidt, Wolfgang 1988 Springer Berlin Heidelberg
• Der Integrationstest – Von Entwurf und Architektur zur Komponenten- und Systemintegration
  Winter, Mario ; Ekssir-Monfared, Mohsen ; Seidl, Richard ; Sneed, Harry M. ; Borner, Lars 2026 Hanser, Carl
• Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain
  Lochau, Malte ; Bürdek, Johannes ; Lity, Sascha ; Hagner, Matthias ; Legat, Christoph ; Goltz, Ursula ; Schürr, Andy
• Validierung von Softwareprogrammen für die Ermittlung der Messunsicherheit
  Greif, Norbert ; Schrepf, Heike
• Systematisches Testen von Software – eine neue Methode und eine effektive Teststrategie
  Grimm, Klaus 1995 Oldenbourg
• Methodisches Testen von Programmen
  Myers, Glenford J. 1995 Oldenbourg
• Software-Prüfung – eine Anleitung zum Test und zur Inspektion
  Frühauf, Karol ; Ludewig, Jochen ; Sandmayr, Helmut 1995 vdf, Hochschulverl. an der ETH Zürich
• Evolutionary Constraint-Based Testing Approach for Software Vulnerability Detection
  Al Sardy, Loui ; Freiling, Felix 2024 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Accurate binary-level symbolic execution of embedded firmware
  Tempel, Sören ; Drechsler, Rolf ; Baccelli, Emmanuel 2024 Staats- und Universitätsbibliothek Bremen
• Mechanisms to increase the safety of safety-critical Deep Neural Network-based environmental perception for autonomous driving
  Sämann, Timo ; Groß, Horst-Michael ; Mäder, Patrick ; Fingscheidt, Tim 2024 TU Ilmenau
• Robot-based component testing on software-defined test benches
  Hanke, Julian ; Reif, Wolfgang 2024 Universität Augsburg
• Automated program analysis – reproducibility, flexibility requirements, and risks
  Schloegel, Moritz ; Holz, Thorsten ; Kruegel, Christopher ; Böhme, Marcel 2024 Ruhr-Universität Bochum
• Automatic Generator Methodology for Safe Embedded Software
  Werner, Michael ; Ecker, Wolfgang ; Müller-Gritschneder, Daniel 2023 Universitätsbibliothek der TU München
• Automatisiertes Test- und Evaluierungsframework für die Servicerobotik
  Weißhardt, Florian ; Verl, Alexander 2024 Universitätsbibliothek der Universität Stuttgart
• Integrating System and Process Characteristics into Regression Test Optimization
  Elsner, Daniel Valentin ; Pretschner, Alexander ; Le Traon, Yves ; Marinov, Darko 2023 Universitätsbibliothek der TU München
• Automatic test Case generation for PLC software
  Simon, Hendrik ; Kowalewski, Stefan ; Weyrich, Michael 2023 Universitätsbibliothek der RWTH Aachen
• Towards cooperative software verification with test generation and formal verification
  Lemberger, Thomas ; Beyer, Dirk 2022 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Software doping – Theory and detection
  Biewer, Sebastian ; Hermanns, Holger 2023 Saarländische Universitäts- und Landesbibliothek
• Learning and Testing Powerful Hypotheses
  Kübler, Jonas Matthias ; Williamson, Robert 2023 Universitätsbibliothek Tübingen
• Testing the Safe Behavior of Unmanned Aerial Vehicles with Scenario-Based Testing
  Schmidt, Tabea Ruth Jasmin ; Pretschner, Alexander ; Leutenegger, Stefan 2023 Universitätsbibliothek der TU München