5 citations · 6 across the 8 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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…