4 papers
Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
Jaekwon Lee, Fabrizio Pastore, Lionel Briand
Mutation testing can help minimize the delivery of faulty software. Therefore, it is a recommended practice for developing embedded software in safety-critical cyber-physical syste…
GAN-enhanced Simulation-driven DNN Testing in Absence of Ground Truth
Mohammed Attaoui, Fabrizio Pastore
The generation of synthetic inputs via simulators driven by search algorithms is essential for cost-effective testing of Deep Neural Network (DNN) components for safety-critical sy…
Search-based DNN Testing and Retraining with GAN-enhanced Simulations
Mohammed Oualid Attaoui, Fabrizio Pastore, Lionel Briand
In safety-critical systems (e.g., autonomous vehicles and robots), Deep Neural Networks (DNNs) are becoming a key component for computer vision tasks, particularly semantic segment…
Field-based Security Testing of SDN configuration Updates
Jahanzaib Malik, Fabrizio Pastore
Software-defined systems revolutionized the management of hardware devices but introduced quality assurance challenges that remain to be tackled. For example, software defined netw…