SmartFL: Semantics Based Probabilistic Fault Localization
Fuente:
arXiv
Guardado en:
| Autores principales: | Wu, Yiqian, Liu, Yujie, Yin, Yi, Zeng, Muhan, Ye, Zhentao, Zhang, Xin, Xiong, Yingfei, Zhang, Lu |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
FlexFL: Flexible and Effective Fault Localization with Open-Source Large Language Models
por: Xu, Chuyang, et al.
Publicado: (2024)
por: Xu, Chuyang, et al.
Publicado: (2024)
SieveFL: Hierarchical Runtime-Aware Pruning for Scalable LLM-Based Fault Localization
por: Farzandway, Mahdi, et al.
Publicado: (2026)
por: Farzandway, Mahdi, et al.
Publicado: (2026)
Fault Localization from the Semantic Code Search Perspective
por: Qin, Yihao, et al.
Publicado: (2024)
por: Qin, Yihao, et al.
Publicado: (2024)
AgentFL: Scaling LLM-based Fault Localization to Project-Level Context
por: Qin, Yihao, et al.
Publicado: (2024)
por: Qin, Yihao, et al.
Publicado: (2024)
Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
por: Fang, Jian, et al.
Publicado: (2026)
por: Fang, Jian, et al.
Publicado: (2026)
Effective Fault Localization using Probabilistic and Grouping Approach
por: Srivastava, Saksham Sahai, et al.
Publicado: (2024)
por: Srivastava, Saksham Sahai, et al.
Publicado: (2024)
Automated Invariant Generation for Solidity Smart Contracts
por: Liu, Ye, et al.
Publicado: (2024)
por: Liu, Ye, et al.
Publicado: (2024)
SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis
por: Zhao, Yuwei, et al.
Publicado: (2025)
por: Zhao, Yuwei, et al.
Publicado: (2025)
Condor: A Code Discriminator Integrating General Semantics with Code Details
por: Liang, Qingyuan, et al.
Publicado: (2024)
por: Liang, Qingyuan, et al.
Publicado: (2024)
Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
por: Xiao, Yuan-An, et al.
Publicado: (2023)
por: Xiao, Yuan-An, et al.
Publicado: (2023)
Line-level Semantic Structure Learning for Code Vulnerability Detection
por: Wang, Ziliang, et al.
Publicado: (2024)
por: Wang, Ziliang, et al.
Publicado: (2024)
A Learning Method for Symbolic Systems Using Large Language Models
por: Fang, Jian, et al.
Publicado: (2026)
por: Fang, Jian, et al.
Publicado: (2026)
ThinkFL: Self-Refining Failure Localization for Microservice Systems via Reinforcement Fine-Tuning
por: Zhang, Lingzhe, et al.
Publicado: (2025)
por: Zhang, Lingzhe, et al.
Publicado: (2025)
Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
por: Huang, Zhechong, et al.
Publicado: (2026)
por: Huang, Zhechong, et al.
Publicado: (2026)
COSMosFL: Ensemble of Small Language Models for Fault Localisation
por: Cho, Hyunjoon, et al.
Publicado: (2025)
por: Cho, Hyunjoon, et al.
Publicado: (2025)
SBEST: Spectrum-Based Fault Localization Without Fault-Triggering Tests
por: Rafi, Md Nakhla, et al.
Publicado: (2024)
por: Rafi, Md Nakhla, et al.
Publicado: (2024)
M2CVD: Enhancing Vulnerability Semantic through Multi-Model Collaboration for Code Vulnerability Detection
por: Wang, Ziliang, et al.
Publicado: (2024)
por: Wang, Ziliang, et al.
Publicado: (2024)
Demystifying the Characteristics for Smart Contract Upgrades
por: Liu, Ye, et al.
Publicado: (2024)
por: Liu, Ye, et al.
Publicado: (2024)
FLIMs: Fault Localization Interference Mutants, Definition, Recognition and Mitigation
por: Liu, Hengyuan, et al.
Publicado: (2025)
por: Liu, Hengyuan, et al.
Publicado: (2025)
On Reasoning-Centric LLM-based Automated Theorem Proving
por: Sun, Yican, et al.
Publicado: (2026)
por: Sun, Yican, et al.
Publicado: (2026)
LLM-based Vulnerability Detection at Project Scale: An Empirical Study
por: Li, Fengjie, et al.
Publicado: (2026)
por: Li, Fengjie, et al.
Publicado: (2026)
On the Integration of Spectrum-Based Fault Localization Tools into IDEs
por: Szatmári, Attila, et al.
Publicado: (2024)
por: Szatmári, Attila, et al.
Publicado: (2024)
Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
por: Liu, Ye, et al.
Publicado: (2024)
por: Liu, Ye, et al.
Publicado: (2024)
Explainable Fault Localization for Programming Assignments via LLM-Guided Annotation
por: Liu, Fang, et al.
Publicado: (2025)
por: Liu, Fang, et al.
Publicado: (2025)
GramTrans: A Better Code Representation Approach in Code Generation
por: Zhang, Zhao, et al.
Publicado: (2025)
por: Zhang, Zhao, et al.
Publicado: (2025)
Exploring the Potential and Limitations of Large Language Models for Novice Program Fault Localization
por: Xu, Hexiang, et al.
Publicado: (2025)
por: Xu, Hexiang, et al.
Publicado: (2025)
Extending Delta Debugging Minimization for Spectrum-Based Fault Localization
por: Kapugama, Charaka Geethal
Publicado: (2026)
por: Kapugama, Charaka Geethal
Publicado: (2026)
Effective Random Test Generation for Deep Learning Compilers
por: Ren, Luyao, et al.
Publicado: (2023)
por: Ren, Luyao, et al.
Publicado: (2023)
Lyra: A Benchmark for Turducken-Style Code Generation
por: Liang, Qingyuan, et al.
Publicado: (2021)
por: Liang, Qingyuan, et al.
Publicado: (2021)
RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair
por: Xu, Tongtong, et al.
Publicado: (2019)
por: Xu, Tongtong, et al.
Publicado: (2019)
PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
por: Xiao, Yuan-An, et al.
Publicado: (2025)
por: Xiao, Yuan-An, et al.
Publicado: (2025)
A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization
por: Kang, Sungmin, et al.
Publicado: (2023)
por: Kang, Sungmin, et al.
Publicado: (2023)
Improving LLM-Based Fault Localization with External Memory and Project Context
por: Yeo, Inseok, et al.
Publicado: (2025)
por: Yeo, Inseok, et al.
Publicado: (2025)
Validity-Preserving Delta Debugging via Generator Trace Reduction
por: Ren, Luyao, et al.
Publicado: (2024)
por: Ren, Luyao, et al.
Publicado: (2024)
Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization
por: Yan, Jiwei, et al.
Publicado: (2024)
por: Yan, Jiwei, et al.
Publicado: (2024)
Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction
por: Callaghan, Dylan, et al.
Publicado: (2023)
por: Callaghan, Dylan, et al.
Publicado: (2023)
Software Fault Localization Based on Multi-objective Feature Fusion and Deep Learning
por: Hu, Xiaolei, et al.
Publicado: (2024)
por: Hu, Xiaolei, et al.
Publicado: (2024)
Finding the Needle in the Crash Stack: Industrial-Scale Crash Root Cause Localization with AutoCrashFL
por: Kang, Sungmin, et al.
Publicado: (2025)
por: Kang, Sungmin, et al.
Publicado: (2025)
An Empirical Study of Fault Localization in Python Programs
por: Rezaalipour, Mohammad, et al.
Publicado: (2023)
por: Rezaalipour, Mohammad, et al.
Publicado: (2023)
On Applying Bandit Algorithm to Fault Localization Techniques
por: Nakao, Masato, et al.
Publicado: (2024)
por: Nakao, Masato, et al.
Publicado: (2024)
Ejemplares similares
-
FlexFL: Flexible and Effective Fault Localization with Open-Source Large Language Models
por: Xu, Chuyang, et al.
Publicado: (2024) -
SieveFL: Hierarchical Runtime-Aware Pruning for Scalable LLM-Based Fault Localization
por: Farzandway, Mahdi, et al.
Publicado: (2026) -
Fault Localization from the Semantic Code Search Perspective
por: Qin, Yihao, et al.
Publicado: (2024) -
AgentFL: Scaling LLM-based Fault Localization to Project-Level Context
por: Qin, Yihao, et al.
Publicado: (2024) -
Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
por: Fang, Jian, et al.
Publicado: (2026)