“ An Approach for Generating Concrete Test Cases Utilizing Formal Specifications of Web Applications”, IJIEE, vol. 6, no. 3, pp. 166–170, May 2016, Accessed: Jun. 21, 2026. [Online]. Available: https://ijiee.org/index.php/ijiee/article/view/334