Automated size analysis for OCL

Fang Yu, Tevfik Bultan, Erik Peterson. Automated size analysis for OCL. In Ivica Crnkovic, Antonia Bertolino, editors, Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007. pages 331-340, ACM, 2007. [doi]

Abstract

Abstract is missing.