Control and data flow structural testing criteria for aspect-oriented programs - Lemos, Otávio Augusto Lazzarini; Vincenzi, Auri Marcelo Rizzo; Maldonado, José Carlos; Masiero, Paulo Cesar (The Journal of Systems and Software, 2007)