23 citations · 28 across the 5 of their papers we have counts for
10 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…
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…
Metamorphic Security Testing for Web Systems
Phu X. Mai, Fabrizio Pastore, Arda Goknil +1
Security testing verifies that the data and the resources of software systems are protected from attackers. Unfortunately, it suffers from the oracle problem, which refers to the c…
Automatic Generation of Acceptance Test Cases from Use Case Specifications: an NLP-based Approach
Chunhui Wang, Fabrizio Pastore, Arda Goknil +1
Acceptance testing is a validation activity performed to ensure the conformance of software systems with respect to their functional requirements. In safety critical systems, it pl…
Automating System Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines
Ines Hajri, Arda Goknil, Fabrizio Pastore +1
Product Line Engineering (PLE) is a crucial practice in many software development environments where software systems are complex and developed for multiple customers with varying…
An Exploratory Study of Field Failures
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore +1
Field failures, that is, failures caused by faults that escape the testing phase leading to failures in the field, are unavoidable. Improving verification and validation activities…