Publications

	2009
	A comparative study of programmer-written and automatically inferred contracts. Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer, In ISSTA 2009: International Symposium on Software Testing and Analysis 2009, 2009. [pdf] [bib]
	Programs That Test Themselves. Bertrand Meyer, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Emmanuel Stapf, In IEEE Computer, volume 42, 2009. [pdf] [bib]
	2008
	ARTOO: Adaptive Random Testing for Object-Oriented Software. Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer, In Proceedings of the 30th International Conference on Software Engineering 2008 (ICSE'08), 2008. [pdf] [bib]
	On the Predictability of Random Tests for Object-Oriented Software. Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer, In Proceedings of the First International Conference on Software Testing, Verification and Validation (ICST'08), 2008. [pdf] [bib]
	Strategies for random-contract based testing. Ilinca Ciupa, PhD thesis, ETH Zurich, Switzerland, 2008. [pdf] [bib]
	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]
	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]
	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]
	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]
	2006
	Object distance and its application to adaptive random testing of object-oriented programs. Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer, In RT '06: Proceedings of the 1st international workshop on Random testing, ACM Press, 2006. [pdf] [bib]