Automated Validation of Insurance Applications against Calculation Specifications
Advaita Datar, Amey Zare, A. Asia, R. Venkatesh, Susheel Kumar, Ulka Shrotri
2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)