:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Nicoletti, Stefano M., Hahn, E. Moritz, Stoelinga, Marielle
Format:	Preprint
Published:	2022
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2208.13424
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PFL: a Probabilistic Logic for Fault Trees
by: Nicoletti, Stefano M., et al.
Published: (2023)

BayesL: a Logical Framework for the Verification of Bayesian Networks
by: Nicoletti, Stefano M., et al.
Published: (2025)

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
by: Odyurt, Uraz, et al.
Published: (2025)

Querying Fault and Attack Trees: Property Specification on a Water Network
by: Nicoletti, Stefano M., et al.
Published: (2024)

ATM: a Logic for Quantitative Security Properties on Attack Trees
by: Nicoletti, Stefano M., et al.
Published: (2023)

Using LLMs and Essence to Support Software Practice Adoption
by: Nicoletti, Sonia, et al.
Published: (2025)

WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs
by: Nicoletti, Stefano M., et al.
Published: (2024)

An ontological lens on attack trees: Toward adequacy and interoperability
by: Oliveira, Ítalo, et al.
Published: (2025)

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
by: Soltani, Reza, et al.
Published: (2025)

Demystifying Faulty Code with LLM: Step-by-Step Reasoning for Explainable Fault Localization
by: Widyasari, Ratnadira, et al.
Published: (2024)

RGFL: Reasoning Guided Fault Localization for Automated Program Repair Using Large Language Models
by: Sepidband, Melika, et al.
Published: (2026)

Generative AI for Object-Oriented Programming: Writing the Right Code and Reasoning the Right Logic
by: Xu, Gang, et al.
Published: (2025)

Computation Tree Logic Guided Program Repair
by: Liu, Yu, et al.
Published: (2025)

Neural Fault Injection: Generating Software Faults from Natural Language
by: Cotroneo, Domenico, et al.
Published: (2024)

SBEST: Spectrum-Based Fault Localization Without Fault-Triggering Tests
by: Rafi, Md Nakhla, et al.
Published: (2024)

Towards a Fault-Injection Benchmarking Suite
by: Wang, Tianhao, et al.
Published: (2024)

Fault Localization via Fine-tuning Large Language Models with Mutation Generated Stack Traces
by: Jambigi, Neetha, et al.
Published: (2025)

LLMs-Powered Real-Time Fault Injection: An Approach Toward Intelligent Fault Test Cases Generation
by: Abboush, Mohammad, et al.
Published: (2025)

The Multi-Agent Fault Localization System Based on Monte Carlo Tree Search Approach
by: Ren, Rui
Published: (2025)

Testing for Fault Diversity in Reinforcement Learning
by: Mazouni, Quentin, et al.
Published: (2024)

Reasoning-Based Software Testing
by: Giamattei, Luca, et al.
Published: (2023)

Rethinking the Evaluation of Microservice RCA with a Fault Propagation-Aware Benchmark
by: Fang, Aoyang, et al.
Published: (2025)

An Empirical Study of Fault Localization in Python Programs
by: Rezaalipour, Mohammad, et al.
Published: (2023)

Hybrid Fault-Driven Mutation Testing for Python
by: Alimadadi, Saba, et al.
Published: (2026)

On Applying Bandit Algorithm to Fault Localization Techniques
by: Nakao, Masato, et al.
Published: (2024)

Simple Fault Localization using Execution Traces
by: Prenner, Julian Aron, et al.
Published: (2025)

Using a Sledgehammer to Crack a Nut? Revisiting Automated Compiler Fault Isolation
by: Yang, Yibiao, et al.
Published: (2025)

Real Faults in Model Context Protocol (MCP) Software: a Comprehensive Taxonomy
by: Taraghi, Mina, et al.
Published: (2026)

Automatically Learning a Precise Measurement for Fault Diagnosis Capability of Test Cases
by: Zhao, Yifan, et al.
Published: (2025)

FGIT: Fault-Guided Fine-Tuning for Code Generation
by: Fan, Lishui, et al.
Published: (2025)

SmartFL: Semantics Based Probabilistic Fault Localization
by: Wu, Yiqian, et al.
Published: (2025)

Large Language Models for Fault Localization: An Empirical Study
by: Xiao, YingJian, et al.
Published: (2025)

Understanding and Detecting Annotation-Induced Faults of Static Analyzers
by: Zhang, Huaien, et al.
Published: (2024)

On the Integration of Spectrum-Based Fault Localization Tools into IDEs
by: Szatmári, Attila, et al.
Published: (2024)

Evaluating Mutation-based Fault Localization for Quantum Programs
by: Ishimoto, Yuta, et al.
Published: (2025)

FauxPy: A Fault Localization Tool for Python
by: Rezaalipour, Mohammad, et al.
Published: (2024)

Effective Fault Localization using Probabilistic and Grouping Approach
by: Srivastava, Saksham Sahai, et al.
Published: (2024)

Fault Localization from the Semantic Code Search Perspective
by: Qin, Yihao, et al.
Published: (2024)

Impact of Large Language Models of Code on Fault Localization
by: Ji, Suhwan, et al.
Published: (2024)

FLIMs: Fault Localization Interference Mutants, Definition, Recognition and Mitigation
by: Liu, Hengyuan, et al.
Published: (2025)