Testing HMAS-based applications: An ASPECS-based approach. (November 2015)