| Reducing test effort: A systematic mapping study on existing approaches F Elberzhager, A Rosbach, J Münch, R Eschbach Information and Software Technology 54 (10), 1092-1106, 2012 | 72 | 2012 |
| From requirements to statistical testing of embedded systems T Bauer, F Bohr, D Landmann, T Beletski, R Eschbach, J Poore Fourth International Workshop on Software Engineering for Automotive Systems …, 2007 | 63 | 2007 |
| Risk-based testing of safety-critical embedded systems driven by fault tree analysis J Kloos, T Hussain, R Eschbach 2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011 | 57 | 2011 |
| Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models R Eschbach, U Glässer, R Gotzhein, M von Löwis, A Prinz Journal of Universal Computer Science 7 (11), 1024-1049, 2001 | 53 | 2001 |
| Risk-based statistical testing: A refinement-based approach to the reliability analysis of safety-critical systems F Zimmermann, R Eschbach, J Kloos, T Bauer 12th European Workshop on Dependable Computing, EWDC 2009, 8 pages, 2009 | 40 | 2009 |
| A generic fault model for quality assurance A Pretschner, D Holling, R Eschbach, M Gemmar International Conference on Model Driven Engineering Languages and Systems …, 2013 | 35 | 2013 |
| On the formal semantics of SDL-2000: a compilation approach based on an Abstract SDL Machine R Eschbach, U Glässer, R Gotzhein, A Prinz International Workshop on Abstract State Machines, 242-265, 2000 | 34 | 2000 |
| Iterative refinement of specification for component based embedded systems M Shahbaz, KC Shashidhar, R Eschbach Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 21 | 2011 |
| Automated fault tree generation and risk-based testing of networked automation systems T Hussain, R Eschbach 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation …, 2010 | 16 | 2010 |
| Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest T Bauer, H Stallbaum, A Metzger, R Eschbach Software Engineering 2008, 2008 | 16 | 2008 |
| Automated Statistical Testing for Embedded Systems. JH Poore, L Lin, R Eschbach, T Bauer Model-Based Testing for Embedded Systems, 2011 | 15 | 2011 |
| Using inspection results for prioritizing test activities F Elberzhager, R Eschbach, J Münch 21st International Symposium on Software Reliability Engineering, 263-272, 2010 | 11 | 2010 |
| A systematic approach to construct compositional behaviour models for network-structured safety-critical systems J Kloos, R Eschbach Electronic Notes in Theoretical Computer Science 263, 145-160, 2010 | 10 | 2010 |
| Combining combinatorial and model-based test approaches for highly configurable safety-critical systems T Bauer, R Eschbach, M Größl, T Hussain, D Streitferdt, F Kantz Model-based Testing in Practice, 9, 2009 | 10 | 2009 |
| A termination detection algorithm: Specification and verification R Eschbach International Symposium on Formal Methods, 1720-1737, 1999 | 10 | 1999 |
| SIMOTEST: A tool for automated testing of hybrid real-time Simulink models F Böhr, R Eschbach ETFA2011, 1-4, 2011 | 9 | 2011 |
| On the formal semantics of design languages: a compilation approach using abstract state machines R Eschbach, U Glässer, R Gotzhein, A Prinz Proc. ASM, 2000 | 9 | 2000 |
| Generating system models for a highly configurable train control system using a domain-specific language: A case study J Kloos, R Eschbach 2009 International Conference on Software Testing, Verification, and …, 2009 | 8 | 2009 |
| “Safety automata”—A new specification language for the development of PLC safety applications G Frey, R Drath, B Schlich, R Eschbach Proceedings of 2012 IEEE 17th International Conference on Emerging …, 2012 | 6 | 2012 |
| The relevance of assumptions and context factors for the integration of inspections and testing F Elberzhager, R Eschbach, J Munch 2011 37th EUROMICRO Conference on Software Engineering and Advanced …, 2011 | 6 | 2011 |
