181 citations · 933 across the 61 of their papers we have counts for
13 papers · 1 filter
HUDD: A tool to debug DNNs for safety analysis
Hazem Fahmy, Fabrizio Pastore, Lionel Briand
We present HUDD, a tool that supports safety analysis practices for systems enabled by Deep Neural Networks (DNNs) by automatically identifying the root causes for DNN errors and r…
ATM: Black-box Test Case Minimization based on Test Code Similarity and Evolutionary Search
Rongqi Pan, Taher A. Ghaleb, Lionel Briand
Executing large test suites is time and resource consuming, sometimes impossible, and such test suites typically contain many redundant test cases. Hence, test case minimization is…
Learning Failure-Inducing Models for Testing Software-Defined Networks
Raphaël Ollando, Seung Yeob Shin, Lionel C. Briand
Software-defined networks (SDN) enable flexible and effective communication systems that are managed by centralized software controllers. However, such a controller can undermine t…
Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems
Fitash Ul Haq, Donghwan Shin, Lionel Briand
Deep Neural Networks (DNNs) have been widely used to perform real-world tasks in cyber-physical systems such as Autonomous Driving Systems (ADS). Ensuring the correct behavior of s…
NLP-based Automated Compliance Checking of Data Processing Agreements against GDPR
Orlando Amaral, Muhammad Ilyas Azeem, Sallam Abualhaija +1
Processing personal data is regulated in Europe by the General Data Protection Regulation (GDPR) through data processing agreements (DPAs). Checking the compliance of DPAs contribu…
Metamorphic Testing for Web System Security
Nazanin Bayati Chaleshtari, Fabrizio Pastore, Arda Goknil +1
Security testing aims at verifying that the software meets its security properties. In modern Web systems, however, this often entails the verification of the outputs generated whe…
COREQQA -- A COmpliance REQuirements Understanding using Question Answering Tool
Sallam Abualhaija, Chetan Arora, Lionel Briand
We introduce COREQQA, a tool for assisting requirements engineers in acquiring a better understanding of compliance requirements by means of automated Question Answering. Extractin…
A Search-Based Testing Approach for Deep Reinforcement Learning Agents
Amirhossein Zolfagharian, Manel Abdellatif, Lionel Briand +2
Deep Reinforcement Learning (DRL) algorithms have been increasingly employed during the last decade to solve various decision-making problems such as autonomous driving and robotic…
Trace Diagnostics for Signal-based Temporal Properties
Chaima Boufaied, Claudio Menghi, Domenico Bianculli +1
Most of the trace-checking tools only yield a Boolean verdict. However, when a property is violated by a trace, engineers usually inspect the trace to understand the cause of the v…
Simulator-based explanation and debugging of hazard-triggering events in DNN-based safety-critical systems
Hazem Fahmy, Fabrizio Pastore, Lionel Briand +1
When Deep Neural Networks (DNNs) are used in safety-critical systems, engineers should determine the safety risks associated with failures (i.e., erroneous outputs) observed during…
A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms
Hichem Belgacem, Xiaochen Li, Domenico Bianculli +1
Users frequently interact with software systems through data entry forms. However, form filling is time-consuming and error-prone. Although several techniques have been proposed to…
Data-driven Mutation Analysis for Cyber-Physical Systems
Enrico Viganò, Oscar Cornejo, Fabrizio Pastore +1
Cyber-physical systems (CPSs) typically consist of a wide set of integrated, heterogeneous components; consequently, most of their critical failures relate to the interoperability…
Black-box Safety Analysis and Retraining of DNNs based on Feature Extraction and Clustering
Mohammed Oualid Attaoui, Hazem Fahmy, Fabrizio Pastore +1
Deep neural networks (DNNs) have demonstrated superior performance over classical machine learning to support many features in safety-critical systems. Although DNNs are now widely…