Publications

	2007
	Automatic Testing of Object-Oriented Software. Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa (Ling) Liu, In Proceedings of SOFSEM 2007 (Current Trends in Theory and Practice of Computer Science) (Jan van Leeuwen, ed.), Springer-Verlag, 2007. [pdf] [bib]
	IDE-integrated Support for Schema Evolution in Object-Oriented Applications. Marco Piccioni, Manuel Oriol, Bertrand Meyer, In RAM-SE, 2007. [pdf] [bib]
	A framework for describing and comparing courses and curricula. Michela Pedroni, Manuel Oriol, Bertrand Meyer, In ITiCSE, 2007. [pdf] [bib]
	Proof-Transforming Compilation of Programs with Abrupt Termination. Peter Müller, Martin Nordio, In Specification and Verification of Component-Based Systems (SAVCBS), ACM Press, 2007. [pdf] [bib]
	Proof-Transforming Compilation of Programs with Abrupt Termination. Peter Müller, Martin Nordio, Technical report, ETH Zurich, 2007. [pdf] [bib]
	Contract-Driven Development. Bertrand Meyer, In FASE, 2007. [pdf] [bib]
	Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller, In TAP, 2007. [pdf] [bib]
	Contract Driven Development = Test Driven Development - Writing Test-Cases. Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva, In Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), 2007. [pdf] [bib]
	Reflecting on an Existing Programming Language. Andreas Leitner, Patrick Eugster, Manuel Oriol, Ilinca Ciupa, In Proceedings of TOOLS EUROPE 2007 - Objects, Models, Components, Patterns,, 2007. [bib]
	Efficient Unit Test Case Minimization. A. Leitner, M. Oriol, A. Zeller, I. Ciupa, B. Meyer, In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007. [pdf] [bib]
	Reconciling Manual and Automated Testing: the AutoTest Experience. Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard, In Proceedings of the 40th Hawaii International Conference on System Sciences - 2007, Software Technology, 2007. [pdf] [bib]
	Celebrating 40 years of language evolution: simula 67 to the present and beyond. Steven Fraser, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer, Guy L. Steele Jr., In OOPSLA Companion, 2007. [pdf] [bib]
	Experimental Assessment of Random Testing for Object-Oriented Software. Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer, In Proceedings of the International Symposium on Software Testing and Analysis 2007 (ISSTA'07), 2007. [pdf] [bib]