Test Case Generation using UML State Diagram and OCL Expression AzaharuddinAli, Md ; Shaik, Khasim ; Kumar, Shreyansh Abstract Publication: International Journal of Computer Applications Pub Date: June 2014 DOI: 10.5120/16644-6614 Bibcode: 2014IJCA...95l...7A