“Integrated Model-Based Test Case Generation”. International Journal of Advanced Research in Computer Science, vol. 1, no. 3, Jan. 2017, pp. 318-25, https://doi.org/10.26483/ijarcs.v1i3.111.