9 citations · 23 across the 20 of their papers we have counts for
20 papers
Safety Case Patterns for VLA-based driving systems: Insights from SimLingo
Gerhard Yu, Fuyuki Ishikawa, Oluwafemi Odu +1
Vision-Language-Action (VLA)-based driving systems represent a significant paradigm shift in autonomous driving since, by combining traffic scene understanding, linguistic interpre…
LLMs as Judges: Toward The Automatic Review of GSN-compliant Assurance Cases
Gerhard Yu, Mithila Sivakumar, Alvine B. Belle +3
Assurance cases allow verifying the correct implementation of certain non-functional requirements of mission-critical systems, including their safety, security, and reliability. Th…
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…
Biases in gendered citation practices: an exploratory study and some reflections on the Matthew and Matilda effects
Karolina Tchilinguirova, Alvine Boaye Belle, Gouled Mahamud
Recent studies conducted in different scientific disciplines have concluded that researchers belonging to some socio-cultural groups (e.g., women, racialized people) are usually le…
Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
Oluwafemi Odu, Alvine B. Belle, Song Wang +3
An assurance case is a structured set of arguments supported by evidence, demonstrating that a system's non-functional requirements (e.g., safety, security, reliability) have been…
SmartGSN: an online tool to semi-automatically manage assurance cases
Oluwafemi Odu, Daniel Méndez Beltran, Emiliano Berrones Gutiérrez +3
Developing industry-wide standards and ensuring producers of mission-critical systems comply with them is crucial to fostering consumer acceptance. Producers of such systems can re…
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,…
A Survey on Query-based API Recommendation
Moshi Wei, Nima Shiri Harzevili, Alvine Boaye Belle +6
Application Programming Interfaces (APIs) are designed to help developers build software more effectively. Recommending the right APIs for specific tasks has gained increasing atte…
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…
Assuring the emotional and cultural intelligence of intelligent software systems
Alvine B. Belle
Intelligent software systems (e.g., conversational agents, profiling systems, recruitment systems) are often designed in a manner which may perpetuates anti-Black racism and other…
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…
SkipAnalyzer: A Tool for Static Code Analysis with Large Language Models
Mohammad Mahdi Mohajer, Reem Aleithan, Nima Shiri Harzevili +4
We introduce SkipAnalyzer, a large language model (LLM)-powered tool for static code analysis. SkipAnalyzer has three components: 1) an LLM-based static bug detector that scans sou…
A First Look at Fairness of Machine Learning Based Code Reviewer Recommendation
Mohammad Mahdi Mohajer, Alvine Boaye Belle, Nima Shiri harzevili +5
The fairness of machine learning (ML) approaches is critical to the reliability of modern artificial intelligence systems. Despite extensive study on this topic, the fairness of ML…
A Survey on Automated Software Vulnerability Detection Using Machine Learning and Deep Learning
Nima Shiri Harzevili, Alvine Boaye Belle, Junjie Wang +4
Software vulnerability detection is critical in software security because it identifies potential bugs in software systems, enabling immediate remediation and mitigation measures t…
Systematically reviewing the layered architectural pattern principles and their use to reconstruct software architectures
Alvine B. Belle, Ghizlane El Boussaidi, Timothy C. Lethbridge +3
Architectural reconstruction is a reverse engineering activity aiming at recovering the missing decisions on a system. It can help identify the components, within a legacy software…
Estimation and Prediction of technical debt: a proposal
Alvine Boaye Belle
Technical debt is a metaphor used to convey the idea that doing things in a "quick and dirty" way when designing and constructing a software leads to a situation where one incurs m…