Semantic Differencing of Statecharts for Object-oriented Systems Topics: General-Purpose Modeling Languages and Standards; Model-Based Testing and Validation; Reasoning about Models; Syntax and Semantics of Modeling Languages In Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 274-282, 2019 , Prague, Czech Republic