Integrated Model-Based Test Case Generation. IJARCS 2017, 1 (3), 318-325. https://doi.org/10.26483/ijarcs.v1i3.111.