Seung Yeob Shin

Orcid: 0000-0001-9025-7173

According to our database1, Seung Yeob Shin authored at least 22 papers between 2013 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Learning Failure-Inducing Models for Testing Software-Defined Networks.
ACM Trans. Softw. Eng. Methodol., June, 2024

Automated Smell Detection and Recommendation in Natural Language Requirements.
IEEE Trans. Software Eng., April, 2024

Stress Testing Control Loops in Cyber-physical Systems.
ACM Trans. Softw. Eng. Methodol., February, 2024

Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages.
ACM Trans. Softw. Eng. Methodol., February, 2024

Towards Generating Executable Metamorphic Relations Using Large Language Models.
Proceedings of the Quality of Information and Communications Technology, 2024

2023
Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages.
ACM Trans. Softw. Eng. Methodol., April, 2023

Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach.
CoRR, 2023

Probabilistic WCET Estimation for Weakly Hard Real-Time Systems.
CoRR, 2023

2022
Optimal priority assignment for real-time systems: a coevolution-based approach.
Empir. Softw. Eng., 2022

2021
Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems.
J. Syst. Softw., 2021

2020
Using machine learning to assist with the selection of security controls during security assessment.
Empir. Softw. Eng., 2020

Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times.
CoRR, 2020

Dynamic adaptation of software-defined networks for IoT systems: a search-based approach.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

2019
Dynamic Adaptive Network Configuration for IoT Systems: A Search-based Approach.
CoRR, 2019

Decision Support for Security-Control Identification Using Machine Learning.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2019

2018
Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling.
IEEE Trans. Syst. Man Cybern. Syst., 2018

HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017
Specification and Analysis of Resource Utilization Policies for Human-Intensive Systems.
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

2016
Specification and analysis of human-intensive system resource-utilization policies.
Proceedings of the International Workshop on Software Engineering in Healthcare Systems, 2016

2015
Resource Specification for Prototyping Human-Intensive Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

2013
Resource scheduling through resource-aware simulation of emergency departments.
Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013


  Loading...