Copertina

Towards Bridging Formal Methods and Human Interpretability

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Paul, Abhijit, Chowdhury, Proma, Sakib, Kazi
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Method-level Change-proneness: A Better Metric for Black-box Test Suite Minimization
di: Siam, Md, et al.
Pubblicazione: (2026)

CLARA: A Developer's Companion for Code Comprehension and Analysis
di: Adnan, Ahmed, et al.
Pubblicazione: (2025)

Reduction of Test Re-runs by Prioritizing Potential Order Dependent Flaky Tests
di: Iqbal, Hasnain, et al.
Pubblicazione: (2025)

Temporal Modeling of Change History for Black-Box Test Suite Minimization
di: Asif, Kamruzzaman, et al.
Pubblicazione: (2026)

Do Internal Software Metrics Have Relationship with Fault-proneness and Change-proneness?
di: Rahman, Md. Masudur, et al.
Pubblicazione: (2023)

A Heuristic Approach to Localize CSS Properties for Responsive Layout Failures
di: Zerin, Tasmia, et al.
Pubblicazione: (2026)

Repairing Responsive Layout Failures Using Retrieval Augmented Generation
di: Zerin, Tasmia, et al.
Pubblicazione: (2025)

Visual Analysis of GitHub Issues to Gain Insights
di: Proma, Rifat Ara, et al.
Pubblicazione: (2024)

The Good, the Bad, and the Monstrous: Predicting Highly Change-Prone Source Code Methods at Their Inception
di: Chowdhury, Shaiful
Pubblicazione: (2024)

Towards a DSL to Formalize Multimodal Requirements
di: Gomez-Vazquez, Marcos, et al.
Pubblicazione: (2025)

Enhancing Large Language Model Efficiencyvia Symbolic Compression: A Formal Approach Towards Interpretability
di: AI, Lumen, et al.
Pubblicazione: (2025)

ProofWright: Towards Agentic Formal Verification of CUDA
di: Chatterjee, Bodhisatwa, et al.
Pubblicazione: (2025)

Towards Crowd-Based Requirements Engineering for Digital Farming (CrowdRE4DF)
di: Groen, Eduard C., et al.
Pubblicazione: (2024)

A Joint Learning Framework for Bridging Defect Prediction and Interpretation
di: Xu, Guifang, et al.
Pubblicazione: (2025)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
di: Erfan, Md, et al.
Pubblicazione: (2026)

Towards Requirements Engineering for GenAI-Enabled Software: Bridging Responsibility Gaps through Human Oversight Requirements
di: Mao, Zhenyu, et al.
Pubblicazione: (2025)

Formal Methods Meets Readability: Auto-Documenting JML Java Code
di: Abad, Juan Carlos Recio, et al.
Pubblicazione: (2025)

Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods
di: Yaacov, Tom, et al.
Pubblicazione: (2025)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
di: Tagliaferro, Alberto, et al.
Pubblicazione: (2026)

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
di: Wang, Hongshu, et al.
Pubblicazione: (2026)

Evidence is All We Need: Do Self-Admitted Technical Debts Impact Method-Level Maintenance?
di: Chowdhury, Shaiful, et al.
Pubblicazione: (2024)

A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
di: Ishii, Daisuke
Pubblicazione: (2024)

Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
di: Herbold, Steffen, et al.
Pubblicazione: (2025)

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

LLM-Based Detection of Tangled Code Changes for Higher-Quality Method-Level Bug Datasets
di: Opu, Md Nahidul Islam, et al.
Pubblicazione: (2025)

Towards an Interpretable Analysis for Estimating the Resolution Time of Software Issues
di: Nastos, Dimitrios-Nikitas, et al.
Pubblicazione: (2025)

Refactoring with LLMs: Bridging Human Expertise and Machine Understanding
di: Piao, Yonnel Chen Kuang, et al.
Pubblicazione: (2025)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
di: Vázquez, Gricel, et al.
Pubblicazione: (2026)

Towards Bridging Language Gaps in OSS with LLM-Driven Documentation Translation
di: Adejumo, Elijah Kayode, et al.
Pubblicazione: (2025)

HistoryFinder: Advancing Method-Level Source Code History Generation with Accurate Oracles and Enhanced Algorithm
di: Islam, Shahidul, et al.
Pubblicazione: (2025)

Towards Automated Formal Verification of Backend Systems with LLMs
di: Xu, Kangping, et al.
Pubblicazione: (2025)

Explaining Code Risk in OSS: Towards LLM-Generated Fault Prediction Interpretations
di: Adejumo, Elijah Kayode, et al.
Pubblicazione: (2025)

The Repeat Offenders: Characterizing and Predicting Extremely Bug-Prone Source Methods
di: Friesen, Ethan, et al.
Pubblicazione: (2025)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
di: Mitchell, Jacqueline L., et al.
Pubblicazione: (2025)

Software Engineering as a Domain to Formalize
di: Meyer, Bertrand
Pubblicazione: (2025)

Formal Synthesis of Uncertainty Reduction Controllers
di: Carwehl, Marc, et al.
Pubblicazione: (2024)

Formally Verified Binary-level Pointer Analysis
di: Verbeek, Freek, et al.
Pubblicazione: (2025)

Formalizing Operational Design Domains with the Pkl Language
di: Skoglund, Martin, et al.
Pubblicazione: (2025)

Formal Verification of Consistency for Systems with Redundant Controllers
di: Johansson, Bjarne, et al.
Pubblicazione: (2024)

How Developers Adopt, Use, and Evolve CI/CD Caching: An Empirical Study on GitHub Actions
di: Hasan, Kazi Amit, et al.
Pubblicazione: (2026)