| 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 | 88 | 2012 |
| 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 | 72 | 2011 |
| 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 | 65 | 2007 |
| 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 J. Univers. Comput. Sci. 7 (11), 1024-1049, 2001 | 56 | 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 | 44 | 2009 |
| A generic fault model for quality assurance A Pretschner, D Holling, R Eschbach, M Gemmar Model-Driven Engineering Languages and Systems: 16th International …, 2013 | 40 | 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 | 35 | 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 |
| Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest T Bauer, H Stallbaum, A Metzger, R Eschbach Gesellschaft für Informatik e. V., 2008 | 20 | 2008 |
| 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 | 19 | 2010 |
| Automated Statistical Testing for Embedded Systems. JH Poore, L Lin, R Eschbach, T Bauer Model-Based Testing for Embedded Systems, 2011 | 17 | 2011 |
| “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 | 12 | 2012 |
| 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 | 11 | 2009 |
| SIMOTEST: A tool for automated testing of hybrid real-time Simulink models F Böhr, R Eschbach ETFA2011, 1-4, 2011 | 10 | 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 | 10 | 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 |
| A termination detection algorithm: Specification and verification R Eschbach International Symposium on Formal Methods, 1720-1737, 1999 | 10 | 1999 |
| 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 |
| Specification inference using systematic reverse-engineering methodologies: An automotive industry application M Shahbaz, KC Shashidhar, R Eschbach IEEE software 29 (6), 62-69, 2011 | 8 | 2011 |
| A systematic testing approach for autonomous mobile robots using domain-specific languages M Proetzsch, F Zimmermann, R Eschbach, J Kloos, K Berns KI 2010: Advances in Artificial Intelligence: 33rd Annual German Conference …, 2010 | 8 | 2010 |
Dr. Tanvir HussainVerified email at t4test.de
