Cover Image

On the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Srinivas, Dananjay, Das, Rohan, Tizpaz-Niari, Saeid, Trivedi, Ashutosh, Pacheco, Maria Leonor
Format:	Preprint
Published:	2023
Subjects:	Software Engineering Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Metamorphic Debugging for Accountable Software
by: Tizpaz-Niari, Saeid, et al.
Published: (2024)

An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software
by: Gogani-Khiabani, Sina, et al.
Published: (2025)

On the Robustness of Fairness Practices: A Causal Framework for Systematic Evaluation
by: Monjezi, Verya, et al.
Published: (2026)

Technical Challenges in Maintaining Tax Prep Software with Large Language Models
by: Gogani-Khiabani, Sina, et al.
Published: (2025)

Fairness Testing through Extreme Value Theory
by: Monjezi, Verya, et al.
Published: (2025)

Predicting Fairness of ML Software Configurations
by: Herrera, Salvador Robles, et al.
Published: (2024)

Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory
by: Tizpaz-Niari, Saeid, et al.
Published: (2024)

FairLay-ML: Intuitive Debugging of Fairness in Data-Driven Social-Critical Software
by: Yu, Normen, et al.
Published: (2024)

Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations
by: Akash, Ranit Debnath, et al.
Published: (2025)

NeuFair: Neural Network Fairness Repair with Dropout
by: Dasu, Vishnu Asutosh, et al.
Published: (2024)

Risk Estimation in Differential Fuzzing via Extreme Value Theory
by: Baez, Rafael, et al.
Published: (2025)

LLM Assisted Coding with Metamorphic Specification Mutation Agent
by: Akhond, Mostafijur Rahman, et al.
Published: (2025)

Taxing Collaborative Software Engineering
by: Dorner, Michael, et al.
Published: (2023)

Metamorphic Coverage
by: Ba, Jinsheng, et al.
Published: (2025)

Describing Globally Distributed Software Architectures for Tax Compliance
by: Dorner, Michael, et al.
Published: (2023)

Expert-in-the-Loop Systems with Cross-Domain and In-Domain Few-Shot Learning for Software Vulnerability Detection
by: Farr, David, et al.
Published: (2025)

Metamorphic Relation Generation: State of the Art and Visions for Future Research
by: Li, Rui, et al.
Published: (2024)

Object-Oriented Architecture: A Software Engineering-Inspired Shape Grammar for Durands Plates
by: Agarwal, Rohan
Published: (2024)

Teaching and Learning Ethnography for Software Engineering Contexts
by: Dittrich, Yvonne, et al.
Published: (2024)

How Effective are Large Language Models in Generating Software Specifications?
by: Xie, Danning, et al.
Published: (2023)

GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming
by: Ayerdi, Jon, et al.
Published: (2023)

Towards Generating Executable Metamorphic Relations Using Large Language Models
by: Shin, Seung Yeob, et al.
Published: (2024)

Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions
by: Pacheco, Maria Leonor, et al.
Published: (2025)

Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing
by: Mu, Yanzhou, et al.
Published: (2025)

Metamorphic Testing for Audio Content Moderation Software
by: Wang, Wenxuan, et al.
Published: (2025)

Testing Question Answering Software with Context-Driven Question Generation
by: Liu, Shuang, et al.
Published: (2025)

CL4SE: Benchmarking Context Learning on Software Engineering
by: Hu, Haichuan, et al.
Published: (2026)

Validating LLM-Generated Programs with Metamorphic Prompt Testing
by: Wang, Xiaoyin, et al.
Published: (2024)

Test Adequacy for Metamorphic Testing: Criteria, Measurement, and Implication
by: Fu, An, et al.
Published: (2024)

Word Closure-Based Metamorphic Testing for Machine Translation
by: Xie, Xiaoyuan, et al.
Published: (2023)

Hallucination Detection for LLM-based Text-to-SQL Generation via Two-Stage Metamorphic Testing
by: Yang, Bo, et al.
Published: (2025)

Enhancing Code Translation in Language Models with Few-Shot Learning via Retrieval-Augmented Generation
by: Bhattarai, Manish, et al.
Published: (2024)

Show, Don't Tell: Learning Reward Machines from Demonstrations for Reinforcement Learning-Based Cardiac Pacemaker Synthesis
by: Komp, John, et al.
Published: (2024)

Cross-Task Benchmarking and Evaluation of General-Purpose and Code-Specific Large Language Models
by: Das, Gunjan, et al.
Published: (2025)

Code Refactoring with LLM: A Comprehensive Evaluation With Few-Shot Settings
by: Tapader, Md. Raihan, et al.
Published: (2025)

Multi-Agent Specification-based Metamorphic Testing of FMU-Based Simulations
by: Kulshreshtha, Ashir, et al.
Published: (2026)

MeTMaP: Metamorphic Testing for Detecting False Vector Matching Problems in LLM Augmented Generation
by: Wang, Guanyu, et al.
Published: (2024)

ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
by: Zhu, Taohong, et al.
Published: (2025)

PSALM: applying Proportional SAmpLing strategy in Metamorphic testing
by: Zhou, Zenghui, et al.
Published: (2025)

MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems
by: Ayerdi, Jon, et al.
Published: (2023)