9 citations · 23 across the 20 of their papers we have counts for
7 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…
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…