A Dynamic Assertion-Based Verification Platform for Validation of UML Designs.

Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan

Browse the full ATVA paper archive.