Andreas Leitner

Andreas Leitner

Mailing address
Andreas Leitner
Software Engineering, Meyer
ETH Zentrum, RZ J4
8092 Zürich
Physical address
Andreas Leitner
Department of Computer Science
RZ Building, RZ J4
Clausiusstrasse 59
8092 Zürich

Andreas Leitner
Phone: +41 1 632 30 21
Fax: +41 1 632 14 35
E-mail: me



I am a researcher at the Chair of Software Engineering at ETH Zurich. I succesfully defended my Ph.D. thesis October 2008, which was supervised by Prof. Dr. Bertrand Meyer. I did my master thesis at the TU Graz.

Areas of Research

My primary area of research is software testing. We have developed a series of tools that aid and automate testing.



  • Ciupa, I., Leitner, A., Oriol, M., Meyer, B., "ARTOO: Adaptive Random Testing for Object-Oriented Software", accepted for publication in Proceedings of ICSE'08: International Conference on Software Engineering 2008, (Leipzig, Germany), May 2008
  • Ciupa, I., Pretschner, A., Leitner, A., Oriol, M., Meyer, B., "On the Predictability of Random Tests for Object-Oriented Software", accepted for publication in Proceedings of ICST'08: IEEE International Conference on Software Testing, Verification and Validation 2008, (Lillehammer, Norway), April 2008


  • Leitner, A., Oriol, M., Ciupa, I., Zeller, A., Meyer, B., "Efficient Unit Test Case Minimization", to appear in Proceedings of ASE'07: 22nd IEEE/ACM International Conference on Automated Software Engineering, (Atlanta, Georgia), November 2007 pdf bibtex
  • Leitner, A., Ciupa, I., Oriol, M., Meyer, B., Fiva, A., "Contract Driven Development = Test Driven Development - Writing Test Cases", to appear in Proceedings of ESEC/FSE'07: European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering 2007, (Dubrovnik, Croatia), September 2007 pdf bibtex doi
  • Ciupa, I., Leitner, A., Oriol, M., Meyer, B., "Experimental Assessment of Random Testing for Object-Oriented Software", to appear in Proceedings of ISSTA'07: International Symposium on Software Testing and Analysis 2007, (London, UK), July 2007
  • Leitner, A., Eugster, P., Oriol, M., Ciupa, I., "Reflecting on an Existing Programming Language", Proceedings of TOOLS EUROPE 2007 - Objects, Models, Components, Patterns, (Zurich, Switzerland), June 2007pdf bibtex 
  • Meyer, B., Ciupa, I., Leitner, A., Liu, L., "Automatic Testing of Object-Oriented Software", in Proceedings of SOFSEM 2007, Current Trends in Theory and Practice of Computer Science, (Harrachov, Czech Republic), January, 2007 pdf bibtex (also published as ETH Technical Report 538 11/2006)
  • Leitner, A., Ciupa, I., Meyer, B., Howard, M., "Reconciling Manual and Automated Testing: the AutoTest Experience", Proceedings of the 40th Hawaii International Conference on System Sciences - 2007, Software Technology. pdf bibtex


  • Ciupa, I., Leitner, A., Oriol, M., Meyer, B., "Object Distance and Its Application to Adaptive Random Testing of Object-Oriented Programs", in RT'06: Proceedings of the 1st International Workshop on Random Testing (Portland, Maine, USA), July, 2006 pdf bibtex


  • Ciupa, I., Leitner, A., "Automatic Testing Based on Design by Contract", Proceedings of Net.ObjectDays 2005 (6th Annual International Conference on Object-Oriented and Internet-based Technologies, Concepts, and Applications for a Networked World) , pp. 545-557, 2005. Paper presented in the Developer Session of the International Workshop on Software Quality (SOQUA 2005) pdf bibtex
  • Leitner, A., Bloem, R., "Automatic Testing through Planning", Chair of Software Engineering, Annual Report 2005. pdf


  • Leitner, A., "eXML Library: A New Interface for Eiffel and the XML Standard", The Journal of Object-Oriented Programming (JOOP), March/April 2000 Vol. 13, No. 1



You can find various video tutorials at my tutorials page.


  • Fall semester 2007: Introduction into Programming
  • Summer semester 2007: Languages in Depth: Java programming
  • Winter semester 2006: Introduction into Programming (Head Assistant), Trusted Components
  • Summer semester 2006: Techniques of Java Programming
  • Winter semester 2005: Introduction into Programming
  • Summer semester 2005: Software Architecture

Student projects

  • Mori Stefan: Test case extraction, Second Chance and Evaluation
  • Stefan Sieber: Selective Capture and Replay for Eiffel
  • Arno Fiva: Test case extraction
  • Reto Ghioldi: Detecting errors in external (C) code
  • Enrico Albonico: Portable Vision2 Widget for Rendering HTML





Events organized