2 papers
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.SE2025
Learning-Guided Fuzzing for Testing Stateful SDN Controllers
Raphaël Ollando, Seung Yeob Shin, Lionel C. Briand
Controllers for software-defined networks (SDNs) are centralised software components that enable advanced network functionalities, such as dynamic traffic engineering and network v…