Publications
Automated Integration Testing for Avionics Systems. In Proceedings of the 3rd ICSTEST – International Conference on Software Testing, April 2002 Jan Peleska. Hardware/software integration testing for the new airbus [...] and Robert Sachtleben. Complete property-oriented module testing. In Silvia Bonfanti, Angelo Gargantini, and Paolo Salvaneschi, editors, Testing Software and Systems - 35th IFIP WG 6.1 International Conference [...] Sachtleben. libfsmtest an open source library for fsm-based testing. In David Clark, Hector Menendez, and Ana Rosa Cavalli, editors, Testing Software and Systems, pages 3–19, Cham, 2022. Springer International