Integrated Model-based Test Case Generation. IJARCS. 2017;1(3):318-325. doi:10.26483/ijarcs.v1i3.111