10 citations · 19 across the 10 of their papers we have counts for
20 papers
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…
AI-enabled Automation for Completeness Checking of Privacy Policies
Orlando Amaral, Sallam Abualhaija, Damiano Torre +2
Technological advances in information sharing have raised concerns about data protection. Privacy policies contain privacy-related requirements about how the personal data of indiv…
Combining Genetic Programming and Model Checking to Generate Environment Assumptions
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati +2
Software verification may yield spurious failures when environment assumptions are not accounted for. Environment assumptions are the expectations that a system or a component make…
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
Oscar Cornejo, Fabrizio Pastore, Lionel Briand
On-board embedded software developed for spaceflight systems (space software) must adhere to stringent software quality assurance procedures. For example, verification and validati…
Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Fitash Ul Haq, Donghwan Shin, Lionel C. Briand +2
Automatically detecting the positions of key-points (e.g., facial key-points or finger key-points) in an image is an essential problem in many applications, such as driver's gaze d…
Reinforcement Learning for Test Case Prioritization
Mojtaba Bagherzadeh, Nafiseh Kahani, Lionel Briand
Continuous Integration (CI) significantly reduces integration problems, speeds up development time, and shortens release time. However, it also introduces new challenges for qualit…