4 citations · 8 across the 7 of their papers we have counts for
3 papers · 1 filter
GPT-4 and Safety Case Generation: An Exploratory Analysis
Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan +1
In the ever-evolving landscape of software engineering, the emergence of large language models (LLMs) and conversational interfaces, exemplified by ChatGPT, is nothing short of rev…
A PRISMA-driven systematic mapping study on system assurance weakeners
Kimya Khakzad Shahandashti, Alvine B. Belle, Timothy C. Lethbridge +2
Context: An assurance case is a structured hierarchy of claims aiming at demonstrating that a given mission-critical system supports specific requirements (e.g., safety, security,…
The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis
Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan +6
Safety assurance is of paramount importance across various domains, including automotive, aerospace, and nuclear energy, where the reliability and acceptability of mission-critical…