Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2012Inspection and test process integration based on explicit test prioritization strategies
Elberzhager, Frank; Rosbach, Alla; Münch, Jürgen; Eschbach, Robert
Konferenzbeitrag
2012Reducing test effort: A systematic mapping study on existing approaches
Elberzhager, Frank; Rosbach, Alla; Münch, Jürgen; Eschbach, Robert
Bericht
2011Constructing models to enable automated testing of distributed functions in component-based systems
Bauer, Thomas; Eschbach, Robert
Bericht
2011Guest editorial: Special section from 6th Workshop on Advances in Model-Based Testing (A-MOST 2010)
Eschbach, Robert; Poore, Jesse H.
Zeitschriftenaufsatz
2011Inspection and test process integration based on explicit test prioritization strategies
Elberzhager, Frank; Rosbach, Alla; Münch, Jürgen; Eschbach, Robert
Bericht
2011Iterative refinement of specification for component based embedded systems
Shahbaz, Muzammil; Shashidhar, K.C.; Eschbach, Robert
Bericht
2011Iterative refinement of specification for component based embedded systems
Shahbaz, Muzammil; Shashidhar, K.C.; Eschbach, Robert
Konferenzbeitrag
2011Model-based testing of distributed functions
Bauer, Thomas; Eschbach, Robert
Bericht
2011The relevance of assumptions and context factors for the integration of inspections and testing
Elberzhager, Frank; Eschbach, Robert; Münch, Jürgen
Bericht
2011The relevance of assumptions and context factors for the integration of inspections and testing
Elberzhager, Frank; Eschbach, Robert; Münch, Jürgen
Konferenzbeitrag
2011Risk-based testing of safety-critical embedded systems driven by fault tree analysis
Kloos, Johannes; Hussain, Tanvir; Eschbach, Robert
Bericht
2011Risk-based testing of safety-critical embedded systems driven by fault tree analysis
Kloos, Johannes; Hussain, Tanvir; Eschbach, Robert
Konferenzbeitrag
2011Simulink-Modelle automatisch testen
Eschbach, Robert
Zeitschriftenaufsatz
2011Testing functional requirements and interactions in distributed systems by re-using component models
Bauer, Thomas; Eschbach, Robert
Bericht
2010Automatic discovery of unspecified behaviors in automotive control software
Shahbaz, Muzammil; Eschbach, Robert
Konferenzbeitrag
2010Beobachtete Trends bzgl. des Testens in der Fahrzeugindustrie
Rosbach, Alla; Zimmermann, Fabian; Eschbach, Robert; Kloos, Johannes
Bericht
2010Indicator-based inspections: A risk-oriented quality assurance approach for dependable systems
Elberzhager, Frank; Eschbach, Robert; Kloos, Johannes
Konferenzbeitrag
2010Indicator-based inspections: A risk-oriented quality assurance approach for dependable systems
Elberzhager, Frank; Eschbach, Robert; Kloos, Johannes
Bericht
2010Modulare Signalbeschreibungen für automatisierte Tests in modellbasierten Software-Entwicklungen
Eschbach, Robert; Hussain, Tanvir
Zeitschriftenaufsatz
2010Reverse engineering ECUs of automotive components - a case study
Shahbaz, Muzammil; Eschbach, Robert
Konferenzbeitrag
2010Software process improvement initiatives based on quality assurance strategies: A QATAM pilot application
Winkler, Dietmar; Elberzhager, Frank; Biffl, Stefan; Eschbach, Robert
Bericht
2010Softwarequalität in medizinischen Produkten sichern
Eschbach, Robert; Rosbach, Alla
Zeitschriftenaufsatz
2010A systematic approach to construct compositional behaviour models for network-structured safety-critical systems
Kloos, Johannes; Eschbach, Robert
Zeitschriftenaufsatz, Konferenzbeitrag
2010Systematic construction of goal indicator trees for indicator-based dependability inspections
Kloos, Johannes; Elberzhager, Frank; Eschbach, Robert
Bericht
2010A systematic testing approach for autonomous mobile robots using domain-specific languages
Proetzsch, Martin; Zimmermann, Fabian; Eschbach, Robert; Kloos, Johannes; Berns, Karsten
Konferenzbeitrag
2010Tool-supported inspections. Using security models as reading support for defect detection
Jung, Christian; Elberzhager, Frank; Eschbach, Robert
Bericht
2010Towards reduction of test effort: Predicting defect-prone code classes and expected defect types based on inspection results
Elberzhager, Frank; Eschbach, Robert
Bericht
2010Using inspection results for prioritizing test activities
Elberzhager, Frank; Eschbach, Robert; Münch, Jürgen
Bericht
2010Using inspection results for prioritizing test activities
Elberzhager, Frank; Eschbach, Robert; Münch, Jürgen
Konferenzbeitrag
2010Visualization of a graph-based GUI for sequence-based specification
Fritzler, Eugen
: Liggesmeyer, Peter (Supervisor); Eschbach, Robert (Supervisor); Hussain, Tanvir (Supervisor)
Bachelor Thesis
2009Buildup of an FPGA-based test system and evaluation of the capabilities of ATML (Automatic Test Markup Language) for embedded systems
Simo, Lydienne Ngaingne
: Liggesmeyer, Peter (Supervisor); Eschbach, Robert (Supervisor); Hussain, Tanvir (Supervisor)
Diplomarbeit
2009D-5.1: Ansatz für konditionale Testfallreduktion basierend auf vorausgegangenen Testergebnissen
Bauer, Thomas; Eschbach, Robert; Guo, Zhensheng; Kloos, Johannes
Bericht
2009D-5.2: Dynamische Neupriorisierung der Testfälle in Abhängigkeit vorausgehender Testergebnisse
Bauer, Thomas; Domis, Dominik J.; Eschbach, Robert; Guo, Zhensheng; Kloos, Johannes
Bericht
2009D-5.3: Übertragung des Verfahrens auf kontinuierliches Monitoring
Bauer, Thomas; Eschbach, Robert; Guo, Zhensheng; Kloos, Johannes
Bericht
2009D-7.2: Formulierung eines integrierten Prozesses
Eschbach, Robert; Klaus, Alexander; Enriquez, Eduard; Bauer, Thomas; Kloos, Johannes
Bericht
2009Development of mutation operators for matlab/simulink/stateflow models and their prototypical implementation into a tool
Sufian, Abu
: Liggesmeyer, Peter (Supervisor); Eschbach, Robert (Supervisor); Kloos, Johannes (Supervisor); Russo, Barbara (Supervisor)
Master Thesis
2009Komposition von Benutzungsmodellen: Anforderungen und Konzeption
Bauer, Thomas; Eschbach, Robert; Hussain, Tanvir; Kloos, Johannes; Zimmermann, Fabian
Bericht
2009Komposition von Benutzungsmodellen: Operatoren und Anwendungsbeispiele
Bauer, Thomas; Eschbach, Robert; Hussain, Tanvir; Kloos, Johannes; Zimmermann, Fabian
Bericht
2009Komposition von Benutzungsmodellen: Spezifikation und Testtechniken
Bauer, Thomas; Eschbach, Robert; Hussain, Tanvir; Kloos, Johannes; Zimmermann, Fabian
Bericht
2009Risikobasiertes statistisches Testen
Zimmermann, Fabian; Eschbach, Robert; Kloos, Johannes; Bauer, Thomas
Bericht
2009Risikobasiertes statistisches Testen
Zimmermann, Fabian; Eschbach, Robert; Kloos, Johannes; Bauer, Thomas
Zeitschriftenaufsatz
2009Risk-based statistical testing: A refinement-based approach to the reliability analysis of safety-critical systems
Zimmermann, Fabian; Eschbach, Robert; Kloos, Johannes; Bauer, Thomas
Bericht
2009Schlussbericht des ranTEST-Projekts
Bauer, Thomas; Eschbach, Robert; Gerken, Stefan; Kloos, Johannes; Metzger, Andreas; Pohl, Klaus; Pinger, R.; Schmidt, Guido W.; Stallbaum, Heiko
Bericht
2009A systematic approach to construct compositional behaviour models for network-structured safety-critical systems
Kloos, Johannes; Eschbach, Robert
Bericht
2008Constructing verifiable test oracles for a family of automatic train control systems
Kloos, Johannes; Eschbach, Robert; Zechner, Axel
Bericht
2008Generating test oracles from grammar schemes
Kloos, Johannes
: Liggesmeyer, Peter (Supervisor); Eschbach, Robert (Supervisor)
Diplomarbeit
2008Generation and analysis of test oracles for a highly configurable train control system: A case study
Kloos, Johannes; Eschbach, Robert; Zechner, Axel
Bericht
2008Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest
Bauer, Thomas; Stallbaum, Heiko; Metzger, Andreas; Eschbach, Robert
Konferenzbeitrag
2007From requirements to statistical testing of embedded systems
Bauer, Thomas; Böhr, Frank; Landmann, Dennis; Beletski, Taras; Eschbach, Robert; Poore, Jesse H.
Konferenzbeitrag
2007Using genetic algorithms in model checking
Schwedler, Wolfgang
: Eschbach, Robert (Supervisor); Leucker, Martin (Supervisor); Beletski, Taras (Supervisor)
Diplomarbeit