35 citations · 129 across the 28 of their papers we have counts for
3 papers · 1 filter
Quantum Program Linting with LLMs: Emerging Results from a Comparative Study
Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli
Ensuring the quality of quantum programs is increasingly important; however, traditional static analysis techniques are insufficient due to the unique characteristics of quantum co…
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…
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…