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 | 
Gräßler, I., Ebel, M., & Pottebaum, J. (2024). Model-based planning of test cases and test scenarios to support engineering of Cyber-Physical Systems. 2024 IEEE International Symposium on Systems Engineering (ISSE). IEEE International Symposium on Systems Engineering 2024, Perugia. https://doi.org/10.1109/isse63315.2024.10741135
LibreCat
| DOI
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, A., & Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457186
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
Krupp, A., & Müller, W. (2006). Classification Trees for Functional Coverage and Random Test Generation. Proceedings of the Design Automation & Test in Europe Conference. https://doi.org/10.1109/DATE.2006.243902
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, J., & Müller, W. (2006). A Formal Behavioral Semantics for TestML. Proc. of ISOLA 06. https://doi.org/10.1109/ISoLA.2006.37
LibreCat
| DOI