Otávio Augusto Lazzarini Lemos Auri Marcelo Rizzo Vincenzi José Carlos Maldonado Paulo Cesar Masiero Control and data flow structural testing criteria for aspect-oriented programs. 862-882 2007 80 Journal of Systems and Software 6 http://dx.doi.org/10.1016/j.jss.2006.08.022 db/journals/jss/jss80.html#LemosVMM07