Cover Image

Automated Validation of Insurance Applications against Calculation Specifications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Datar, Advaita, Zare, Amey, A, Asia, Venkatesh, R, Kumar, Shrawan, Shrotri, Ulka
Format:	Preprint
Published:	2022
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Specification Vibing for Automated Program Repair
by: Zhu, Taohong, et al.
Published: (2026)

Automated Validation of COBOL to Java Transformation
by: Kumar, Atul, et al.
Published: (2025)

A Graphics Function Standard Specification Validator
by: Fraser, Steven D., et al.
Published: (2024)

Patch Validation in Automated Vulnerability Repair
by: Yu, Zheng, et al.
Published: (2026)

Counterexample Classification against Signal Temporal Logic Specifications
by: Zhang, Zhenya, et al.
Published: (2026)

An Interactive Empirical Approach to the Validation of Software Package Specifications
by: Fraser, S. D., et al.
Published: (2024)

LogUpdater: Automated Detection and Repair of Specific Defects in Logging Statements
by: Zhong, Renyi, et al.
Published: (2024)

Generating Project-Specific Test Cases with Requirement Validation Intention
by: Qi, Binhang, et al.
Published: (2025)

Automated Generation of High-Quality Bug Reports for Android Applications
by: Saha, Antu, et al.
Published: (2026)

Automated LTL Specification Generation from Industrial Aerospace Requirements
by: Ma, Zhi, et al.
Published: (2026)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
by: Yang, Fanpeng, et al.
Published: (2025)

Early Results from Teaching Modelling for Software Comprehension in New-Hire Onboarding
by: Kumar, Mrityunjay, et al.
Published: (2025)

Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
by: Jodat, Baharin A., et al.
Published: (2025)

Automated Repair of Resource Leaks in Android Applications
by: Bhatt, Bhargav Nagaraja, et al.
Published: (2020)

Logic Mining from Process Logs: Towards Automated Specification and Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements
by: Lian, Xiaoli, et al.
Published: (2025)

Extracting Formal Specifications from Documents Using LLMs for Automated Testing
by: Li, Hui, et al.
Published: (2025)

Validating Traces of Distributed Programs Against TLA+ Specifications
by: Cirstea, Horatiu, et al.
Published: (2024)

Automated Conversion of ETL Mapping Documents into SQL Validation Queries - Sample files
by: Prakash Bhavan Siva Prasad, Manu Prasad
Published: (2026)

ACE: Automated Technical Debt Remediation with Validated Large Language Model Refactorings
by: Tornhill, Adam, et al.
Published: (2025)

RITA: A Tool for Automated Requirements Classification and Specification from Online User Feedback
by: Mallya, Manjeshwar Aniruddh, et al.
Published: (2026)

Automated Program Repair Based on REST API Specifications Using Large Language Models
by: Yamagishi, Katsuki, et al.
Published: (2025)

ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs
by: Nielebock, Sebastian, et al.
Published: (2024)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
by: Ma, Lezhi, et al.
Published: (2024)

CS Educator challenges and their solutions : A systematic mapping study
by: Chouhan, Anjali, et al.
Published: (2025)

OXN -- Automated Observability Assessments for Cloud-Native Applications
by: Borges, Maria C., et al.
Published: (2024)

Fine-Tuning Models for Automated Code Review Feedback
by: Kumar, Smitha S, et al.
Published: (2026)

Automated Generation of Commit Messages in Software Repositories
by: Palakodeti, Varun Kumar, et al.
Published: (2025)

VulKey: Automated Vulnerability Repair Guided by Domain-Specific Repair Patterns
by: Li, Jia, et al.
Published: (2026)

A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback
by: Kulsum, Ummay, et al.
Published: (2024)

CI-Repair-Bench: A Repository-Aware Benchmark for Automated Patch Validation via CI Workflows
by: Muna, Rabeya Khatun, et al.
Published: (2026)

REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models
by: Chi, Jianlei, et al.
Published: (2024)

GuardRails: Automated Suggestions for Clarifying Ambiguous Purpose Statements
by: Pawagi, Mrigank, et al.
Published: (2023)

AutoSpec: Automated Generation of Neural Network Specifications
by: Jin, Shuowei, et al.
Published: (2024)

CodeLSI: Leveraging Foundation Models for Automated Code Generation with Low-Rank Optimization and Domain-Specific Instruction Tuning
by: Le, Huy, et al.
Published: (2025)

Code Review Automation Via Multi-task Federated LLM -- An Empirical Study
by: Kumar, Jahnavi, et al.
Published: (2024)

WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements
by: Teoh, Xiwen, et al.
Published: (2026)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
by: Ma, Zhi, et al.
Published: (2025)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
by: Zhang, Liao, et al.
Published: (2026)

Automated Functional Testing for Malleable Mobile Application Driven from User Intent
by: Wang, Yuying, et al.
Published: (2026)