“ An Approach for Generating Concrete Test Cases Utilizing Formal Specifications of Web Applications”. International Journal of Information and Electronics Engineering 6, no. 3 (May 9, 2016): 166–170. Accessed June 21, 2026. https://ijiee.org/index.php/ijiee/article/view/334.