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]
@article{BanerjeeRDCRG12,
title = {A dynamic assertion-based verification platform for validation of UML designs},
author = {Ansuman Banerjee and Sayak Ray and Pallab Dasgupta and P. P. Chakrabarti and S. Ramesh and P. Vignesh V. Ganesan},
year = {2012},
doi = {10.1145/2088883.2088891},
url = {http://doi.acm.org/10.1145/2088883.2088891},
researchr = {https://researchr.org/publication/BanerjeeRDCRG12},
cites = {0},
citedby = {0},
journal = {ACM SIGSOFT Software Engineering Notes},
volume = {37},
number = {1},
pages = {1-14},
}