Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Ali, S., Iqbal, M.Z., Arcuri, A., Briand, L.: A search-based OCL constraint solver for model-based test data generation. In: Proc. of QSIC, pp. 41–50 (2011)
2. Cabot, J., Clarisó, R., Riera, D.: UMLtoCSP: A tool for the formal verification of UML/OCL models using constraint programming. In: Proc. of ASE, pp. 547–548 (2007)
3. Lecture Notes in Computer Science;A.L. Correa,2004
4. Egyed, A.: Fixing inconsistencies in UML design models. In: Proc. of ICSE, pp. 292–301 (2007)
5. Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (1999)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献