output
20122025
most citedCerebro: Static Subsuming Mutant Selection

32 citations

7 papers

eess.SP2025★ 9 cited

Enhanced Throughput and Seamless Handover Solutions for Urban 5G-Vehicle C-Band Integrated Satellite-Terrestrial Networks

Hung Nguyen-Kha, Vu Nguyen Ha, Eva Lagunas +2

This paper investigates downlink transmission in 5G Integrated Satellite-Terrestrial Networks (ISTNs) supporting automotive users (UEs) in urban environments, where base stations (…

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…

eess.SY2023★ 12 cited

Connecting Space Missions Through NGSO Constellations: Feasibility Study

Houcine Chougrani, Oltjon Kodheli, Ali Georganaki +6

A satellite internet provider (e.g., Starlink, OneWeb, O3b mPOWER), despite possessing the capability to provide internet services to on-ground users in a global scale, can dramati…

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…

cs.IT2014

Overloaded Satellite Receiver Using SIC with Hybrid Beamforming and ML Detection

Zohair Abu-Shaban, Hani Mehrpouyan, Joel Grotz +1

In this paper, a new receiver structure that is intended to detect the signals from multiple adjacent satellites in the presence of other interfering satellites is proposed. We tac…