Challenges of Testing Financial Applications