A Model-Based Testing Method for Dynamic Aspect-Oriented Software. - Maria Laura Pires Souza; Fábio Fagundes Silveira (ICCSA (6), 2017)