55 citations · 75 across the 18 of their papers we have counts for
7 papers · 1 filter
GitHub's Copilot Code Review: Can AI Spot Security Flaws Before You Commit?
Amena Amro, Manar H. Alalfi
As software development practices increasingly adopt AI-powered tools, ensuring that such tools can support secure coding has become critical. This study evaluates the effectivenes…
SimSched: A tool for Simulating Autosar Implementaion in Simulink
Jian Chen, Manar H. Alalfi, Thomas R. Dean +1
AUTOSAR (AUTomotive Open System ARchitecture) is an open industry standard for the automotive sector. It defines the three-layered automotive software architecture. One of these la…
Opti Code Pro: A Heuristic Search-based Approach to Code Refactoring
Sourena Khanzadeh, Samad Alias Nyein Chan, Richard Valenzano +1
This paper presents an approach that evaluates best-first search methods to code refactoring. The motivation for code refactoring could be to improve the design, structure, or impl…
Timed Model-Based Mutation Operators for Simulink Models
Jian Chen, Manar H. Alalfi, Thomas R. Dean
Model-based mutation analysis is a recent research area, and real-time system testing can benefit from using model mutants. Model-based mutation testing (MBMT) is a particular bran…
A Model-Driven-Engineering Approach for Detecting Privilege Escalation in IoT Systems
Atheer Abu Zaid, Manar H. Alalfi, Ali Miri
Software vulnerabilities in access control models can represent a serious threat in a system. In fact, OWASP lists broken access control as number 5 in severity among the top 10 vu…
Mining Domain Models in Ethereum DApps using Code Cloning
Noama Fatima Samreen, Manar H. Alalfi
This research study explores the use of near-miss clone detection to support the characterization of domain models of smart contracts for each of the popular domains in which smart…
An Automated Approach for Privacy Leakage Identification in IoT Apps
Bara' Nazzal, Manar H. Alalfi
This paper presents a fully automated static analysis approach and a tool, Taint-Things, for the identification of tainted flows in SmartThings IoT apps. Taint-Things accurately id…