Automated Validation of Insurance Applications against Calculation Specifications | IEEE Conference Publication | IEEE Xplore