Case study for automated regression testing of an insurance policy administration system