An Approach for Generating Concrete Test Cases Utilizing Formal Specifications of Web Applications. IJIEE [Internet]. 2016 May 9 [cited 2026 Jun. 21];6(3):166-70. Available from: https://ijiee.org/index.php/ijiee/article/view/334