María José Escalona Cuaresma, Javier J. Gutiérrez, Manuel Mejías, Gustavo Aragón, Isabel M. Ramos, J. Torres, Francisco José Domínguez-Mayo. An overview on test generation from functional requirements. Journal of Systems and Software, 84(8):1379-1393, 2011. [doi]
Abstract is missing.