An Approach for Generating Concrete Test Cases Utilizing Formal Specifications of Web Applications. (2016). International Journal of Information and Electronics Engineering, 6(3), 166-170. https://ijiee.org/index.php/ijiee/article/view/334