4 citations · 8 across the 8 of their papers we have counts for
8 papers
A Pilot Study on LLM-Based Agentic Translation from Android to iOS: Pitfalls and Insights
Zhili Zeng, Kimya Khakzad Shahandashti, Alvine Boaye Belle +3
The rapid advancement of mobile applications has led to a significant demand for cross-platform compatibility, particularly between the Android and iOS platforms. Traditional appro…
Program Slicing in the Era of Large Language Models
Kimya Khakzad Shahandashti, Mohammad Mahdi Mohajer, Alvine Boaye Belle +2
Program slicing is a critical technique in software engineering, enabling developers to isolate relevant portions of code for tasks such as bug detection, code comprehension, and d…
A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns
Oluwafemi Odu, Alvine Boaye Belle, Song Wang +1
Justifying the correct implementation of the non-functional requirements (e.g., safety, security) of mission-critical systems is crucial to prevent system failure. The later could…
Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
Kimya Khakzad Shahandashti, Mithila Sivakumar, Mohammad Mahdi Mohajer +3
Assurance cases (ACs) are structured arguments that support the verification of the correct implementation of systems' non-functional requirements, such as safety and security, the…
I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
Mithila Sivakumar, Alvine B. Belle, Kimya Khakzad Shahandashti +5
The execution failure of cyber-physical systems (e.g., autonomous driving systems, unmanned aerial systems, and robotic systems) could result in the loss of life, severe injuries,…
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…