18 citations · 47 across the 8 of their papers we have counts for
8 papers
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…
Automated Smell Detection and Recommendation in Natural Language Requirements
Alvaro Veizaga, Seung Yeob Shin, Lionel C. Briand
Requirement specifications are typically written in natural language (NL) due to its usability across multiple domains and understandability by all stakeholders. However, unstructu…
Stress Testing Control Loops in Cyber-Physical Systems
Claudio Mandrioli, Seung Yeob Shin, Martina Maggio +2
Cyber-Physical Systems (CPSs) are often safety-critical and deployed in uncertain environments. Identifying scenarios where CPSs do not comply with requirements is fundamental but…
Probabilistic Safe WCET Estimation for Weakly Hard Real-Time Systems at Design Stages
Jaekwon Lee, Seung Yeob Shin, Lionel Briand +1
Weakly hard real-time systems can, to some degree, tolerate deadline misses, but their schedulability still needs to be analyzed to ensure their quality of service. Such analysis u…
Learning Failure-Inducing Models for Testing Software-Defined Networks
Raphaël Ollando, Seung Yeob Shin, Lionel C. Briand
Software-defined networks (SDN) enable flexible and effective communication systems that are managed by centralized software controllers. However, such a controller can undermine t…
Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach
Jaekwon Lee, Seung Yeob Shin, Shiva Nejati +1
In real-time systems, priorities assigned to real-time tasks determine the order of task executions, by relying on an underlying task scheduling policy. Assigning optimal priority…
Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages
Jaekwon Lee, Seung Yeob Shin, Shiva Nejati +2
Estimating worst-case execution times (WCET) is an important activity at early design stages of real-time systems. Based on WCET estimates, engineers make design and implementation…
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…