Image de couverture de livre

SmartFL: Semantics Based Probabilistic Fault Localization

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wu, Yiqian, Liu, Yujie, Yin, Yi, Zeng, Muhan, Ye, Zhentao, Zhang, Xin, Xiong, Yingfei, Zhang, Lu
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

FlexFL: Flexible and Effective Fault Localization with Open-Source Large Language Models
par: Xu, Chuyang, et autres
Publié: (2024)

SieveFL: Hierarchical Runtime-Aware Pruning for Scalable LLM-Based Fault Localization
par: Farzandway, Mahdi, et autres
Publié: (2026)

Fault Localization from the Semantic Code Search Perspective
par: Qin, Yihao, et autres
Publié: (2024)

AgentFL: Scaling LLM-based Fault Localization to Project-Level Context
par: Qin, Yihao, et autres
Publié: (2024)

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
par: Fang, Jian, et autres
Publié: (2026)

Effective Fault Localization using Probabilistic and Grouping Approach
par: Srivastava, Saksham Sahai, et autres
Publié: (2024)

Automated Invariant Generation for Solidity Smart Contracts
par: Liu, Ye, et autres
Publié: (2024)

SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis
par: Zhao, Yuwei, et autres
Publié: (2025)

Condor: A Code Discriminator Integrating General Semantics with Code Details
par: Liang, Qingyuan, et autres
Publié: (2024)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
par: Xiao, Yuan-An, et autres
Publié: (2023)

Line-level Semantic Structure Learning for Code Vulnerability Detection
par: Wang, Ziliang, et autres
Publié: (2024)

A Learning Method for Symbolic Systems Using Large Language Models
par: Fang, Jian, et autres
Publié: (2026)

ThinkFL: Self-Refining Failure Localization for Microservice Systems via Reinforcement Fine-Tuning
par: Zhang, Lingzhe, et autres
Publié: (2025)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
par: Huang, Zhechong, et autres
Publié: (2026)

COSMosFL: Ensemble of Small Language Models for Fault Localisation
par: Cho, Hyunjoon, et autres
Publié: (2025)

SBEST: Spectrum-Based Fault Localization Without Fault-Triggering Tests
par: Rafi, Md Nakhla, et autres
Publié: (2024)

M2CVD: Enhancing Vulnerability Semantic through Multi-Model Collaboration for Code Vulnerability Detection
par: Wang, Ziliang, et autres
Publié: (2024)

Demystifying the Characteristics for Smart Contract Upgrades
par: Liu, Ye, et autres
Publié: (2024)

FLIMs: Fault Localization Interference Mutants, Definition, Recognition and Mitigation
par: Liu, Hengyuan, et autres
Publié: (2025)

On Reasoning-Centric LLM-based Automated Theorem Proving
par: Sun, Yican, et autres
Publié: (2026)

LLM-based Vulnerability Detection at Project Scale: An Empirical Study
par: Li, Fengjie, et autres
Publié: (2026)

On the Integration of Spectrum-Based Fault Localization Tools into IDEs
par: Szatmári, Attila, et autres
Publié: (2024)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
par: Liu, Ye, et autres
Publié: (2024)

Explainable Fault Localization for Programming Assignments via LLM-Guided Annotation
par: Liu, Fang, et autres
Publié: (2025)

GramTrans: A Better Code Representation Approach in Code Generation
par: Zhang, Zhao, et autres
Publié: (2025)

Exploring the Potential and Limitations of Large Language Models for Novice Program Fault Localization
par: Xu, Hexiang, et autres
Publié: (2025)

Extending Delta Debugging Minimization for Spectrum-Based Fault Localization
par: Kapugama, Charaka Geethal
Publié: (2026)

Effective Random Test Generation for Deep Learning Compilers
par: Ren, Luyao, et autres
Publié: (2023)

Lyra: A Benchmark for Turducken-Style Code Generation
par: Liang, Qingyuan, et autres
Publié: (2021)

RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair
par: Xu, Tongtong, et autres
Publié: (2019)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
par: Xiao, Yuan-An, et autres
Publié: (2025)

A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization
par: Kang, Sungmin, et autres
Publié: (2023)

Improving LLM-Based Fault Localization with External Memory and Project Context
par: Yeo, Inseok, et autres
Publié: (2025)

Validity-Preserving Delta Debugging via Generator Trace Reduction
par: Ren, Luyao, et autres
Publié: (2024)

Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization
par: Yan, Jiwei, et autres
Publié: (2024)

Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction
par: Callaghan, Dylan, et autres
Publié: (2023)

Software Fault Localization Based on Multi-objective Feature Fusion and Deep Learning
par: Hu, Xiaolei, et autres
Publié: (2024)

Finding the Needle in the Crash Stack: Industrial-Scale Crash Root Cause Localization with AutoCrashFL
par: Kang, Sungmin, et autres
Publié: (2025)

An Empirical Study of Fault Localization in Python Programs
par: Rezaalipour, Mohammad, et autres
Publié: (2023)

On Applying Bandit Algorithm to Fault Localization Techniques
par: Nakao, Masato, et autres
Publié: (2024)