2016. An Approach for Generating Concrete Test Cases Utilizing Formal Specifications of Web Applications. International Journal of Information and Electronics Engineering. 6, 3 (May 2016), 166–170.