“Integrated Model-based Test Case Generation”, IJARCS, vol. 1, no. 3, pp. 318–325, Jan. 2017, doi: 10.26483/ijarcs.v1i3.111.