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]

Authors

Kenro Yatake

This author has not been identified. Look up 'Kenro Yatake' in Google

Toshiaki Aoki

This author has not been identified. Look up 'Toshiaki Aoki' in Google