3 papers
cs.SE2025
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…
cs.SE2025
Test Schedule Generation for Acceptance Testing of Mission-Critical Satellite Systems
Raphaël Ollando, Seung Yeob Shin, Mario Minardi +1
Mission-critical system, such as satellite systems, healthcare systems, and nuclear power plant control systems, undergo rigorous testing to ensure they meet specific operational r…
cs.SE2024
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…