32 citations
Showing cs.SEShow all
3 papers · 1 filter
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.SE2021★ 32 cited
Cerebro: Static Subsuming Mutant Selection
Aayush Garg, Milos Ojdanic, Renzo Degiovanni +3
Mutation testing research has indicated that a major part of its application cost is due to the large number of low utility mutants that it introduces. Although previous research h…
cs.SE2019★ 18 cited
Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based Approach
Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh +3
The concept of Internet of Things (IoT) has led to the development of many complex and critical systems such as smart emergency management systems. IoT-enabled applications typical…