Modeling and testing of aspect-oriented systems / - Jiang, Wenhuan. (East Carolina University, 2011)