“ An Approach for Generating Concrete Test Cases Utilizing Formal Specifications of Web Applications”. International Journal of Information and Electronics Engineering, vol. 6, no. 3, May 2016, pp. 166-70, https://ijiee.org/index.php/ijiee/article/view/334.