Verifying UML/OCL models using Boolean satisfiability.

Mathias Soeken Robert Wille Mirco Kuhlmann Martin Gogolla Rolf Drechsler

Published in: DATE (2010)

Keyphrases

metamodel
boolean satisfiability
modeling language
uml class diagrams
genetic algorithm
optimal solution
software engineering
constraint language