Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier. Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. In Jasmin Christian Blanchette, Nikolai Kosmatov, editors, Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. Volume 9154 of Lecture Notes in Computer Science, pages 129-136, Springer, 2015. [doi]
Abstract is missing.