A dynamic assertion-based verification platform for validation of UML designs

Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan. A dynamic assertion-based verification platform for validation of UML designs. ACM SIGSOFT Software Engineering Notes, 37(1):1-14, 2012. [doi]

Abstract

Abstract is missing.