Enviar por SMS: Testing Aspect-Oriented Programs