Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit. Checking the Correspondence between UML Models and Implementation. In Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Volume 6418 of Lecture Notes in Computer Science, pages 198-213, Springer, 2010. [doi]
Abstract is missing.