Initiating a Benchmark for UML and OCL Analysis Tools

Martin Gogolla, Fabian Büttner, Jordi Cabot. Initiating a Benchmark for UML and OCL Analysis Tools. In Margus Veanes, Luca Viganò, editors, Tests and Proofs - 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Volume 7942 of Lecture Notes in Computer Science, pages 115-132, Springer, 2013. [doi]

Authors

Martin Gogolla

This author has not been identified. It may be one of the following persons: Look up 'Martin Gogolla' in Google

Fabian Büttner

This author has not been identified. Look up 'Fabian Büttner' in Google

Jordi Cabot

This author has not been identified. It may be one of the following persons: Look up 'Jordi Cabot' in Google