Testing of aspect-oriented programs: difficulties and lessons learned based on theoretical and practical experience | Journal of the Brazilian Computer Society