Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4 Publications
2024 | Conference Paper | LibreCat-ID: 57300 | 
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.
LibreCat
| DOI
| Download (ext.)
I. Gräßler, M. Ebel, J. Pottebaum, in: 2024 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2024.
2010 | Conference Paper | LibreCat-ID: 37037
A Systematic Approach to Combined HW/SW System Test
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2006 | Conference Paper | LibreCat-ID: 38784
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.
LibreCat
| DOI
A. Krupp, W. Müller, in: Proceedings of the Design Automation & Test in Europe Conference, IEEE, Munich, Germany, 2006.
2006 | Conference Paper | LibreCat-ID: 38107
A Formal Behavioral Semantics for TestML
J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.
LibreCat
| DOI
J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.