Model-based planning of test cases and test scenarios to support engineering of Cyber-Physical Systems
I. Gräßler, M. Ebel, J. Pottebaum, in: 2024 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2024.

A Systematic Approach to Combined HW/SW System Test
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.

Classification Trees for Functional Coverage and Random Test Generation
A. Krupp, W. Müller, in: Proceedings of the Design Automation &; Test in Europe Conference, IEEE, Munich, Germany, 2006.

A Formal Behavioral Semantics for TestML
J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.