Imagen de Portada

Metamorphic Debugging for Accountable Software

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Tizpaz-Niari, Saeid, Darian, Shiva, Trivedi, Ashutosh
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering Computers and Society Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software
por: Srinivas, Dananjay, et al.
Publicado: (2023)

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

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

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

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

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

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

Advancing BDD Software Testing: Dynamic Scenario Re-Usability And Step Auto-Complete For Cucumber Framework
por: Mughal, A. H.
Publicado: (2024)

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

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

ProDebug: An Automated Debugging System for Prolog
por: Brancas, Ricardo, et al.
Publicado: (2026)

Reasoning Trajectories for Socratic Debugging of Student Code: From Misconceptions to Contradictions and Updated Beliefs
por: Al-Hossami, Erfan, et al.
Publicado: (2025)

WDD: Weighted Delta Debugging
por: Zhou, Xintong, et al.
Publicado: (2024)

debug-gym: A Text-Based Environment for Interactive Debugging
por: Yuan, Xingdi, et al.
Publicado: (2025)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
por: Stinnett, J. Ryan, et al.
Publicado: (2024)

From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging
por: Shi, Yuling, et al.
Publicado: (2024)

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

MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
por: Lauwaerts, Tom, et al.
Publicado: (2025)

Software Engineering Methods For AI-Driven Deductive Legal Reasoning
por: Padhye, Rohan
Publicado: (2024)

Precise Debugging Benchmark: Is Your Model Debugging or Regenerating?
por: Zhu, Wang Bill, et al.
Publicado: (2026)

Psycholinguistic Analyses in Software Engineering Text: A Systematic Literature Review
por: Sajadi, Amirali, et al.
Publicado: (2025)

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

Academic Vibe Coding: Opportunities for Accelerating Research in an Era of Resource Constraint
por: Crowson, Matthew G, et al.
Publicado: (2025)

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
por: Orvalho, Pedro, et al.
Publicado: (2022)

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

Debugging code world models
por: Rahmani, Babak
Publicado: (2026)

Introduction to Analytical Software Engineering Design Paradigm
por: Houichime, Tarik, et al.
Publicado: (2025)

Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool
por: Kurniawan, Oka, et al.
Publicado: (2025)

Enhancing Debugging Skills with AI-Powered Assistance: A Real-Time Tool for Debugging Support
por: Artser, Elizaveta, et al.
Publicado: (2026)

Context-Specific Instruction: A Longitudinal Study on Debugging Skill Acquisition and Retention for Novice Programmers
por: Zhang, Ziyi, et al.
Publicado: (2025)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
por: Beyer, Dirk, et al.
Publicado: (2025)

DebugBench: Evaluating Debugging Capability of Large Language Models
por: Tian, Runchu, et al.
Publicado: (2024)

Generalized Software Product Line Extraction
por: Bruzzone, Federico, et al.
Publicado: (2026)

Learning Code-Edit Embedding to Model Student Debugging Behavior
por: Heickal, Hasnain, et al.
Publicado: (2025)

MORTAR: Multi-turn Metamorphic Testing for LLM-based Dialogue Systems
por: Guo, Guoxiang, et al.
Publicado: (2024)

Bias Testing and Mitigation in Black Box LLMs using Metamorphic Relations
por: Salimian, Sina, et al.
Publicado: (2025)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
por: Steffen, Bernhard, et al.
Publicado: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
por: Fang, Yuzhou, et al.
Publicado: (2025)

Catalpa: GC for a Low-Variance Software Stack
por: Arnold, Anthony, et al.
Publicado: (2025)

Leveraging Print Debugging to Improve Code Generation in Large Language Models
por: Hu, Xueyu, et al.
Publicado: (2024)