1. Synthesis of hierarchical systems;B Aminof;FACS'11,2011
2. Test Input Generation using UML Sequence and State Machines Models;A Bandyopadhyay;Proceedings of the 2nd International Conference on Software Testing, Verification, and Validation,2009
3. Model-Driven Software Engineering in Practice