Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2016Effekte modellbasierter Test- und Analyseverfahren in Unternehmen: Ergebnisse einer großangelegten empirischen Evaluation mittels industrieller Fallstudien
Kläs, Michael; Bauer, Thomas; Dereani, Andreas; Soederqvist, Thomas; Helle, Philipp
Konferenzbeitrag
2015A large-scale technology evaluation study. Effects of model-based analysis and testing
Kläs, Michael; Bauer, Thomas; Dereani, Andreas; Soederqvist, Thomas; Helle, Philipp
Bericht
2015A large-scale technology evaluation study: Effects of model-based analysis and testing
Kläs, Michael; Bauer, Thomas; Dereani, Andreas; Soederqvist, Thomas; Helle, Philipp
Konferenzbeitrag
2014Achieving quality in customer-configurable products
Große-Rhode, Martin; Hilbrich, Robert; Mann, Stefan; Weißleder, Stephan
Aufsatz in Buch
2014An evaluation of model-based testing in embedded applications
Weißleder, Stephan; Schlingloff, Holger
Konferenzbeitrag
2013Behavioral fuzzing operators for UML sequence diagrams
Schneider, M.; Großmann, J.; Tcholtchev, N.; Schieferdecker, I.; Pietschker, A.
Konferenzbeitrag
2013Final Security Testing Techniques
: Maag, Stephane (Ed.)
Bericht
2013Final Security Testing Tools
: Mantere, Matti (Ed.)
Bericht
2013Fokus!MBT - a multi-paradigmatic test modeling environment
Wendland, Marc-Florian; Hoffmann, Andreas; Schieferdecker, Ina
Konferenzbeitrag
2013Model-based security testing. Results from industrial case studies
Schieferdecker, Ina; Rennoch, Axel
Vortrag
2013Security risk analysis and smart fuzzing in practice
Schieferdecker, I.; Großmann, J.; Rennoch, A.
Vortrag
2013Security testing achievements and benefits by european research
Rennoch, Axel; Schieferdecker, Ina; Großmann, Jürgen
Vortrag
2013Security Testing Approaches - for Research, Industry and Standardization
Rennoch, A.; Schieferdecker, I.; Großmann, J.
Vortrag
2013Towards a GUI test model using state charts and programming code
Mauser, Daniel; Klaus, Alexander; Holl, Konstantin
Bericht
2012Automatic traceability from tests to requirements by requirements-based refinement
Weißleder, S.; Girlich, T.; Krause, J.
Konferenzbeitrag
2011Constructing models to enable automated testing of distributed functions in component-based systems
Bauer, Thomas; Eschbach, Robert
Bericht
2011Enhancing generated Java GUI models with valid test data
Aho, Pekka; Menz, Nadja; Räty, Tomi
Konferenzbeitrag
2011Model-based security verification and testing for smart-cards
Fourneret, E.; Ochoa, M.; Bouquet, F.; Botella, J.; Jürjens, J.; Yousefi, P.
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
2010Automatic discovery of unspecified behaviors in automotive control software
Shahbaz, Muzammil; Eschbach, Robert
Konferenzbeitrag
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
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
2009A generic approach for modeling test case priorities with applications for test development and execution
Hoffmann, A.; Rennoch, A.; Schieferdecker, I.; Radziwill, N.
Konferenzbeitrag
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
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
2009Software-Qualität. Testen, Analysieren und Verifizieren von Software
Liggesmeyer, Peter
Buch
2008Constructing verifiable test oracles for a family of automatic train control systems
Kloos, Johannes; Eschbach, Robert; Zechner, Axel
Bericht
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
2008Visualization of statistical figures from model-based testing as an eclipse prototype
Li, Jiancan
: Liggesmeyer, Peter (Supervisor); Rombach, H. Dieter (Supervisor); Bauer, Thomas (Supervisor)
Bachelor Thesis
2004Component-Based Software Testing with UML
Groß, H.-G.
Buch
2003Modelling and implementation of built-in contract tests
Groß, H.-G.; Schieferdecker, I.; Din, G.
Bericht
2003Testing and the UML. A perfect fit
Groß, H.-G.
Bericht