Generating interaction test cases for mobile phone systems from use case specifications. - André L. L. de Figueiredo; Wilkerson de L. Andrade; Patrícia D. L. Machado (ACM SIGSOFT Softw. Eng. Notes, 2006)