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]

Authors

Ansuman Banerjee

This author has not been identified. Look up 'Ansuman Banerjee' in Google

Sayak Ray

This author has not been identified. Look up 'Sayak Ray' in Google

Pallab Dasgupta

This author has not been identified. Look up 'Pallab Dasgupta' in Google

P. P. Chakrabarti

This author has not been identified. Look up 'P. P. Chakrabarti' in Google

S. Ramesh

This author has not been identified. It may be one of the following persons: Look up 'S. Ramesh' in Google

P. Vignesh V. Ganesan

This author has not been identified. Look up 'P. Vignesh V. Ganesan' in Google