An Approach for Generating Concrete Test Cases Utilizing Formal Specifications of Web Applications. International Journal of Information and Electronics Engineering, [S. l.], v. 6, n. 3, p. 166–170, 2016. Disponível em: https://www.ijiee.org/index.php/ijiee/article/view/334. Acesso em: 15 jun. 2026.