Cover Image

SmartGSN: an online tool to semi-automatically manage assurance cases

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Odu, Oluwafemi, Beltran, Daniel Méndez, Gutiérrez, Emiliano Berrones, Belle, Alvine B., Yu, Gerhard, Sherafat, Melika
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

Safety Case Patterns for VLA-based driving systems: Insights from SimLingo
by: Yu, Gerhard, et al.
Published: (2026)

A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns
by: Odu, Oluwafemi, et al.
Published: (2024)

LLMs as Judges: Toward The Automatic Review of GSN-compliant Assurance Cases
by: Yu, Gerhard, et al.
Published: (2025)

Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
by: Odu, Oluwafemi, et al.
Published: (2024)

I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
by: Sivakumar, Mithila, et al.
Published: (2024)

Biases in gendered citation practices: an exploratory study and some reflections on the Matthew and Matilda effects
by: Tchilinguirova, Karolina, et al.
Published: (2024)

Program Slicing in the Era of Large Language Models
by: Shahandashti, Kimya Khakzad, et al.
Published: (2024)

A Pilot Study on LLM-Based Agentic Translation from Android to iOS: Pitfalls and Insights
by: Zeng, Zhili, et al.
Published: (2025)

Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
by: Shahandashti, Kimya Khakzad, et al.
Published: (2024)

How do practitioners gain confidence in assurance cases?
by: Diemert, Simon, et al.
Published: (2024)

OntoGSN: An Ontology-Based Framework for Semantic Management and Extension of Assurance Cases
by: Momcilovic, Tomas Bueno, et al.
Published: (2025)

A Survey on Query-based API Recommendation
by: Wei, Moshi, et al.
Published: (2023)

Certus: A domain specific language for confidence assessment in assurance cases
by: Diemert, Simon, et al.
Published: (2025)

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

Understanding: reframing automation and assurance
by: Bloomfield, Robin
Published: (2026)

Are your comments outdated? Towards automatically detecting code-comment consistency
by: Huang, Yuan, et al.
Published: (2024)

Development of an automatic modification system for generated programs using ChatGPT
by: Yoshida, Jun, et al.
Published: (2024)

On the Role of Fault Localization Context for LLM-Based Program Repair
by: Sepidband, Melika, et al.
Published: (2026)

Applying software engineering solutions to law management, Nigeria as a case study
by: Eleweke, Chinonyerem, et al.
Published: (2025)

The Capability of Code Review as a Communication Network
by: Dorner, Michael, et al.
Published: (2025)

SACS: A Code Smell Dataset using Semi-automatic Generation Approach
by: Zhang, Hanyu, et al.
Published: (2026)

SmartML: Towards a Modeling Language for Smart Contracts
by: Veschetti, Adele, et al.
Published: (2024)

Enhancing LLM-Based Code Generation with Complexity Metrics: A Feedback-Driven Approach
by: Sepidband, Melika, et al.
Published: (2025)

Enabling mixed-precision with the help of tools: A Nekbone case study
by: Chen, Yanxiang, et al.
Published: (2024)

Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair
by: Kananchuk, Victoria, et al.
Published: (2025)

A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
by: Meloche, Regan, et al.
Published: (2025)

From Human to Machine Refactoring: Assessing GPT-4's Impact on Python Class Quality and Readability
by: Midolo, Alessandro, et al.
Published: (2026)

Industrial Challenges in Secure Continuous Development
by: Moyón, Fabiola, et al.
Published: (2024)

Towards a Framework for Operationalizing the Specification of Trustworthy AI Requirements
by: Villamizar, Hugo, et al.
Published: (2025)

Demystifying the Characteristics for Smart Contract Upgrades
by: Liu, Ye, et al.
Published: (2024)

Effective Targeted Testing of Smart Contracts
by: Fooladgar, Mahdi, et al.
Published: (2024)

SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
by: Liao, Zeqin, et al.
Published: (2024)

SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
by: Liao, Zeqin, et al.
Published: (2024)

MOTIF: A tool for Mutation Testing with Fuzzing
by: Lee, Jaekwon, et al.
Published: (2024)

Teaching Survey Research in Software Engineering
by: Kalinowski, Marcos, et al.
Published: (2024)

Automated Invariant Generation for Solidity Smart Contracts
by: Liu, Ye, et al.
Published: (2024)

Validation Framework for E-Contract and Smart Contract
by: Godboley, Sangharatna, et al.
Published: (2025)

Definition and Detection of Centralization Defects in Smart Contracts
by: Lin, Zewei, et al.
Published: (2024)

Generating Move Smart Contracts based on Concepts
by: Karanjai, Rabimba, et al.
Published: (2024)

QCRMut: Quantum Circuit Random Mutant generator tool
by: Gil, Sinhué García, et al.
Published: (2024)