New Trends in Software Methodologies, Tools and Techniques: ...
Preview
[3] Fabian Büttner and Jordi Cabot. Lightweight String Reasoning in Model Finding. Software and System Modeling, 14(1):413–427, 2015. [4] Jordi Cabot, Robert Clarisó, and Daniel Riera. On the Verification of UML/OCL Class Diagrams ...