Login / Signup

Automated Validation of Insurance Applications against Calculation Specifications.

Advaita DatarAmey ZareAsia AR. VenkateshShrawan KumarUlka Shrotri
Published in: ISSRE Workshops (2022)
Keyphrases
  • semi automated
  • fully automated
  • data driven
  • computer assisted
  • automated analysis
  • automated tools
  • neural network
  • information systems
  • high level
  • formal specification
  • delay insensitive