Automated Validation of Insurance Applications against Calculation Specifications.

Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri

Browse the full ISSRE paper archive.