A State-Based Testing Method for Detecting Aspect Composition Faults. - Fábio Fagundes Silveira; Adilson Marques da Cunha; Maria Lúcia Lisbôa (ICCSA (5), 2014)