Jan Peleska, Hristina Fidanoska, Artur Honisch, Helge Löding, Hermann Schmid, Peer Smuda und Daniel Tille: Model-Based Testing in the Automotive Domain - Challenges and Solutions. Presentation slides, extended english version of presentation given on Iqnite 2011, Düsseldorf, May 24th - 26th, 2011.

Jan Peleska, Elena Vorobev and Florian Lapschies: Automated Test Case Generation with SMT-Solving and Abstract Interpretation. In Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann and Rajeev Joshi (Eds.): Nasa Formal Methods, Third International Symposium, NFM 2011, Pasadena, CA, USA, April 2011. Springer LNCS 6617, pp. 298-312, 2011.

Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, and Cornelia Zahlten: A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain. In: Burkhart Wolff and Fatiha Zaidi (Eds.): Testing Software and Systems. Proceedings of the 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 2011. Springer, LNCS 7019, pp. 146-161.

Christof Efkemann and Jan Peleska: Model-Based Testing for the Second Generation of Integrated Modular Avionics. In Proceedings of the Software Testing Verification and Validation Workshop, IEEE International Conference on Software Testing Verification and Validation, ICST 2011, Berlin, April 2011. IEEE Computer Society,Los Alamitos, CA, USA, pp. 55-62, 2011.

Jan Peleska and M. Oliver Möller: Testing on Target: Concepts and Experiences. In: Proceedings of the iqnite Germany 2010, Düsseldorf, 27 - 30 April 2010.

Helge Löding and Jan Peleska: Timed Moore automata: test data generation and model checking In: Proc. of the icst, 2010 Third International Conference on Software Testing, Verification and Validation, 2010, pp.449-458 . ISBN:978-0-7695-3990-4, IEEE CS Digital Library, 2010.

Jan Peleska: Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules In D. Dams, U. Hannemann and M. Steffen (eds.): Concurrency, Compositionality and Correctness. Essays in Honor of Willem-Paul de Roever. Springer, LNCS 5930, ISBN 978-3-642-11511-0, pp. 277-299 (2010).

Jan Peleska: A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules In: John S. Fitzgerald, Anne E. Haxthausen and Husnu Yenigun (eds.): Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 2008. Springer, LNCS 5160, ISBN 3-530-85761-3, pp. 3-22 (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.

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.