Cover Image

Analysing software failure using runtime verification and LTL

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Yazdanparast, Zahra
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Using rule engine in self-healing systems and MAPE model
by: Yazdanparast, Zahra
Published: (2024)

A Survey on Self-healing Software System
by: Yazdanparast, Zahra
Published: (2024)

Interoperable verification and dissemination of software assets in repositories using COAR Notify
by: Cancellieri, Matteo, et al.
Published: (2025)

Software is infrastructure: failures, successes, costs, and the case for formal verification
by: Bernardi, Giovanni, et al.
Published: (2025)

Automated LTL Specification Generation from Industrial Aerospace Requirements
by: Ma, Zhi, et al.
Published: (2026)

Exploring the extent of similarities in software failures across industries using LLMs
by: Detloff, Martin
Published: (2024)

Where did we fail? -- Reproducing build failures in embedded open source software
by: Fu, Han, et al.
Published: (2026)

Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control
by: Gagliardi, Hernan, et al.
Published: (2025)

An approach for performance requirements verification and test environments generation
by: Abdeen, Waleed, et al.
Published: (2024)

Specx: a C++ task-based runtime system for heterogeneous distributed architectures
by: Cardosi, Paul, et al.
Published: (2023)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
by: Ma, Zhi, et al.
Published: (2025)

Insights into resource utilization of code small language models serving with runtime engines and execution providers
by: Durán, Francisco, et al.
Published: (2024)

"Estimating software project effort using analogies": Reflections after 28 years
by: Shepperd, Martin
Published: (2025)

A systematic mapping on quantum software development in the context of software engineering
by: Junior, Paulo Eduardo Zanni, et al.
Published: (2021)

scikit-package -- software packaging standards and roadmap for sharing reproducible scientific software
by: Lee, S., et al.
Published: (2025)

Does social identity matter in software engineering? Assessing the case of research software engineers
by: Uwasomba, Chukwudi, et al.
Published: (2026)

Can ChatGPT support software verification?
by: Janßen, Christian, et al.
Published: (2023)

Stability prediction of the software requirements specification
by: del Sagrado, J., et al.
Published: (2024)

Mapping the research software sustainability space
by: Druskat, Stephan, et al.
Published: (2018)

Challenges and Experiences of Iranian Developers with MLOps at Enterprise
by: Heydari, Mohammad, et al.
Published: (2024)

LLMs as verification oracles for Solidity
by: Bartoletti, Massimo, et al.
Published: (2025)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
by: Mbodji, Fatou Ndiaye, et al.
Published: (2024)

An overview of the use of alternative funding and contracting approaches relevant for agile software development: A systematic review of real-life experiences
by: Ngereja, Bertha, et al.
Published: (2025)

Experience converting a large mathematical software package written in C++ to C++20 modules
by: Bangerth, Wolfgang
Published: (2025)

Software analytics for software engineering: A tertiary review
by: Laiq, Muhammad, et al.
Published: (2024)

Content and structure of laboratory packages for software engineering experiments
by: Solari, Martín, et al.
Published: (2024)

Automated flakiness detection in quantum software bug reports
by: Zhang, Lei, et al.
Published: (2024)

SEArch: an execution infrastructure for service-based software systems
by: Pombo, Carlos G. Lopez, et al.
Published: (2024)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
by: Andresel, Medina, et al.
Published: (2026)

Mapping of the system of software-related emissions and shared responsibilities
by: Partanen, Laura, et al.
Published: (2025)

How do software practitioners perceive human-centric defects?
by: Chauhan, Vedant, et al.
Published: (2024)

Experimental evaluation of architectural software performance design patterns in microservices
by: Meijer, Willem, et al.
Published: (2024)

Semantic Code Graph -- an information model to facilitate software comprehension
by: Borowski, Krzysztof, et al.
Published: (2023)

Psychological safety in software workplaces: A systematic literature review
by: Santana, Beatriz, et al.
Published: (2025)

Risk-based test framework for LLM features in regulated software
by: Zhou, Zhiyin
Published: (2026)

An insight into the technical debt-fix trade off in software backporting
by: Tasnim, Jarin, et al.
Published: (2025)

Statistical complexity of software systems represented as multi-layer networks
by: Žižka, Jan
Published: (2025)

Quantum software experiments: A reporting and laboratory package structure guidelines
by: Moguel, Enrique, et al.
Published: (2024)

Systematic Mapping Protocol -- UX Design role in software development process
by: Ormeño, Emilio, et al.
Published: (2024)

Not real or too soft? On the challenges of publishing interdisciplinary software engineering research
by: Hyrynsalmi, Sonja M., et al.
Published: (2025)