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