Imagen de Portada

BFL: a Logic to Reason about Fault Trees

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Nicoletti, Stefano M., Hahn, E. Moritz, Stoelinga, Marielle
Formato:	Preprint
Publicado:	2022
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Reasoning-Based Software Testing
por: Giamattei, Luca, et al.
Publicado: (2023)

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