8 papers
On the Time and Frequency Domain Representations of Signals for CPS Specification
Claudio Mandrioli, Drishti Yadav, Domenico Bianculli
Specification languages are instrumental to the Verification \& Validation of Cyber-Physical Systems (CPSs). Most state-of-the-art specification languages use the time-domain repre…
Can LLMs Solve Science or Just Write Code? Evaluating Quantum Solver Generation
Luciano Baresi, Domenico Bianculli, Maryse Ernzer +3
Large Language Models (LLMs) show strong capabilities in code generation, motivating their use in automated quantum solver development. However, in quantum computing, successful ex…
Randomized and Diverse Input State Generation for Quantum Program Testing
Maryse Ernzer, Seung Yeob Shin, Fabrizio Pastore +1
With the accelerating development of quantum technologies and their growing computational potential, quantum systems are being adapted for simulations and other critical tasks acro…
Beyond Rules: LLM-Powered Linting for Quantum Programs
Pietro Cassieri, Giuseppe Scanniello, Seung Yeob Shin +2
As quantum computing transitions from theoretical experimentation to its practical application, the reliability of quantum software has become a critical bottleneck. Traditional st…
Diagnosing Violations of State-based Specifications in iCFTL
Cristina Stratan, Claudio Mandrioli, Domenico Bianculli
As modern software systems grow in complexity and operate in dynamic environments, the need for runtime analysis techniques becomes a more critical part of the verification and val…
Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
Claudio Mandrioli, Seung Yeob Shin, Domenico Bianculli +1
Cyber-Physical Systems (CPSs) software is used to enforce desired behaviours on physical systems. To test the interaction between the CPS software and the system's physics, enginee…