SMT-based enumeration of object graphs from UML class diagrams

Kenro Yatake, Toshiaki Aoki. SMT-based enumeration of object graphs from UML class diagrams. ACM SIGSOFT Software Engineering Notes, 37(4):1-8, 2012. [doi]

Abstract

Abstract is missing.