Copertina

Verifier Warnings Do Not Improve Comprehensibility Prediction

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	De Silva, Nadeeshan, Kellogg, Martin, Chaparro, Oscar
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Relative Code Comprehensibility Prediction
di: De Silva, Nadeeshan, et al.
Pubblicazione: (2025)

On the Reliability of Code Comprehension Proxies
di: Arvan, Erfan, et al.
Pubblicazione: (2026)

Fine-grained Multi-Document Extraction and Generation of Code Change Rationale
di: Sun, Mehedi, et al.
Pubblicazione: (2026)

LadyBug: A GitHub Bot for UI-Enhanced Bug Localization in Mobile Apps
di: Mahmud, Junayed, et al.
Pubblicazione: (2025)

Machine Learning for Actionable Warning Identification: A Comprehensive Survey
di: Ge, Xiuting, et al.
Pubblicazione: (2023)

Decoding the Issue Resolution Process in Practice via Issue Report Analysis: A Case Study of Firefox
di: Saha, Antu, et al.
Pubblicazione: (2025)

Inferring Pluggable Types with Machine Learning
di: Siddiqui, Kazi Amanul Islam, et al.
Pubblicazione: (2024)

Actionable Warning Is Not Enough: Recommending Valid Actionable Warnings with Weak Supervision
di: Xue, Zhipeng, et al.
Pubblicazione: (2025)

BOMs Away! Inside the Minds of Stakeholders: A Comprehensive Study of Bills of Materials for Software Systems
di: Stalnaker, Trevor, et al.
Pubblicazione: (2023)

Bias Ahead: Sensitive Prompts as Early Warnings for Fairness in Large Language Models
di: Voria, Gianmario, et al.
Pubblicazione: (2026)

SPRINT: An Assistant for Issue Report Management
di: Adnan, Ahmed, et al.
Pubblicazione: (2025)

Evaluating Language Model Applications for Identifying Solution-Related Content in Issue Report Discussions
di: Saha, Antu, et al.
Pubblicazione: (2025)

DeepFWI: Identifying Bug-Sensitive Warnings with Multi-Modal Code-Warning Semantics
di: Liu, Han, et al.
Pubblicazione: (2024)

Challenges and Practices in Quantum Software Testing and Debugging: Insights from Practitioners
di: Zappin, Jake, et al.
Pubblicazione: (2025)

When Quantum Meets Classical: Characterizing Hybrid Quantum-Classical Issues Discussed in Developer Forums
di: Zappin, Jake, et al.
Pubblicazione: (2024)

Bridging the Quantum Divide: Aligning Academic and Industry Goals in Software Engineering
di: Zappin, Jake, et al.
Pubblicazione: (2025)

Repairing Leaks in Resource Wrappers
di: Malakar, Sanjay, et al.
Pubblicazione: (2025)

Enhancing Code Quality with Generative AI: Boosting Developer Warning Compliance
di: Chang, Hansen, et al.
Pubblicazione: (2025)

LLM-Based Repair of Static Nullability Errors
di: Karimipour, Nima, et al.
Pubblicazione: (2025)

Prompting in Practice: Investigating Software Practitioners' Use of Generative AI Tools
di: Otten, Daniel, et al.
Pubblicazione: (2025)

Automated Static Warning Identification via Path-based Semantic Representation
di: Zhang, Yuwei, et al.
Pubblicazione: (2023)

Resource-Efficient & Effective Code Summarization
di: Afrin, Saima, et al.
Pubblicazione: (2025)

"The Law Doesn't Work Like a Computer": Exploring Software Licensing Issues Faced by Legal Practitioners
di: Wintersgill, Nathan, et al.
Pubblicazione: (2024)

Do AI Agents Really Improve Code Readability?
di: Horikawa, Kyogo, et al.
Pubblicazione: (2026)

Tracking the Evolution of Static Code Warnings: the State-of-the-Art and a Better Approach
di: Li, Junjie, et al.
Pubblicazione: (2022)

Pre-trained Model-based Actionable Warning Identification: A Feasibility Study
di: Ge, Xiuting, et al.
Pubblicazione: (2024)

ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning
di: Tang, Lingxiao, et al.
Pubblicazione: (2026)

Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
di: Saha, Antu, et al.
Pubblicazione: (2024)

Crash-free Deductive Verifiers
di: Nauta, Wander, et al.
Pubblicazione: (2026)

Verify Linearizability of Concurrent Stacks
di: Wen, Tangliu
Pubblicazione: (2021)

CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts
di: Lin, Zewei, et al.
Pubblicazione: (2024)

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

LLM-Based Repair of C++ Implicit Data Loss Compiler Warnings: An Industrial Case Study
di: You, Chansong, et al.
Pubblicazione: (2026)

Human-Centred Requirements Engineering for Critical Systems: Insights from Disaster Early Warning Applications
di: Madugalla, Anuradha, et al.
Pubblicazione: (2025)

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
di: Wei, Tianhao, et al.
Pubblicazione: (2024)

Verify Implementation Equivalence of Large Models
di: Zhan, Qi, et al.
Pubblicazione: (2026)

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

Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
di: Ron, Javier, et al.
Pubblicazione: (2026)

Taking a Closer Look at Warnings Generated by PMD and SonarQube, their Rules and Compliance to Established Coding Standards
di: Deshapriya, Lakmal, et al.
Pubblicazione: (2026)

Improving Code Comprehension through Cognitive-Load Aware Automated Refactoring for Novice Programmers
di: Saha, Subarna, et al.
Pubblicazione: (2026)