Publications

in 2008

C. Efkemann, T. Hartmann: Specification of Conditions for Error Diagnostics. In: Proceedings of the 3rd intl Workshop on Systems Software Verification (SSV08), Sydney, February 2008.

M. Schwarze, O. Meyer, R. Scholz: Next Generation Test Engine Environment for Aircraft Cabin Systems Testing, ( Abstract). In: Proceedings of the 3rd SQC, Software and Systems Quality Conferences, Düsseldorf, April 15-18, 2008.

until 2007

Jan Peleska and Cornelia Zahlten: Integrated Automated Test Case Generation and Static Analysis. In Proceedings of the QA+Test 2007 International Conference on QA+Testing Embedded Systems, Bilbao (Spain) 17th - 19th October 2007. Best Paper Award.

J. Peleska, H. Löding, T. Kotas: Test Automation Meets Static Analysis. In R. Koschke, O. Herzog, K.-H. Rödiger and M. Ronthaler (eds.): Proceedings of the INFORMATIK 2007, Band 2, 24. - 27. September 2007, Bremen (Germany). ISBN 978-3-88579-204-8, ISSN 1617-5468, pp 280-286.

O. Meyer and J. Pfefferkorn: Automated IMA Module Configuration Testing. In: Proceedings of the 1st SQC, Software and Systems Quality Conferences, Düsseldorf, May 10-12, 2006. The presentation slides of this talk are also available.

O. Meyer et al.: Automated Testing of Aircraft Controller Modules. In: Proceedings of the 5th ICSTEST, International Conference on Software Testing, Düsseldorf, April, 2004. The presentation slides of this talk are also available.

J. Peleska and C. Zahlten: Hard Real-Time Test Tools - Concepts and Implementation. In Proceedings of the 4th ICSTEST, International Conference on Software Testing, Cologne, April 2-4, 2003.