Back
  1. Home
  2. Profile of Seung Yeob SHIN (Unilu)
Profil

SHIN Seung Yeob

University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV

Main Referenced Co-authors
BRIAND, Lionel  (10)
SABETZADEH, Mehrdad  (6)
NEJATI, Shiva  (5)
Zimmer, Frank (4)
LEE, Jaekwon  (3)
Main Referenced Keywords
Machine Learning (4); Cyber Physical Systems (3); human-intensive systems (2); Schedulability Analysis (2); Search-Based Software Engineering (2);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) (10)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SVV - Software Verification and Validation (5)
ULHPC - University of Luxembourg: High Performance Computing (3)
Main Referenced Disciplines
Computer science (15)

Publications (total 15)

The most downloaded
1076 downloads
SHIN, S. Y., NEJATI, S., SABETZADEH, M., BRIAND, L., & Zimmer, F. (2018). Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'18). New York, United States: ACM. doi:10.1145/3213846.3213852 https://hdl.handle.net/10993/35689

The most cited

42 citations (OpenAlex)

SHIN, S. Y., NEJATI, S., SABETZADEH, M., BRIAND, L., & Zimmer, F. (2018). Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'18). New York, United States: ACM. doi:10.1145/3213846.3213852 https://hdl.handle.net/10993/35689

SHIN, S. Y., PASTORE, F., BIANCULLI, D., & Baicoianu, A. (2024). Towards Generating Executable Metamorphic Relations Using Large Language Models. In Proceedings of the 17th International Conference on the Quality of Information and Communications Technology. Berlin, Germany: Springer. doi:10.1007/978-3-031-70245-7_9
Peer reviewed

OLLANDO, R., SHIN, S. Y., & BRIAND, L. (2024). Learning Failure-Inducing Models for Testing Software-Defined Networks. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3641541
Peer Reviewed verified by ORBi

Veizaga, A., SHIN, S. Y., & Briand, L. (2024). Automated Smell Detection and Recommendation in Natural Language Requirements. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2024.3361033
Peer Reviewed verified by ORBi

MANDRIOLI, C., SHIN, S. Y., Maggio, M., BIANCULLI, D., & BRIAND, L. (21 December 2023). Stress Testing Control Loops in Cyber-Physical Systems. ACM Transactions on Software Engineering and Methodology, 33 (2), 35:1-25:58. doi:10.1145/3624742
Peer Reviewed verified by ORBi

LEE, J., SHIN, S. Y., BRIAND, L., & NEJATI, S. (2023). Probabilistic Safe WCET Estimation for Weakly Hard Real-Time Systems at Design Stages. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3617176
Peer Reviewed verified by ORBi

LEE, J., SHIN, S. Y., Nejati, S., & BRIAND, L. (2023). Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3546941
Peer Reviewed verified by ORBi

LEE, J., SHIN, S. Y., Nejati, S., & BRIAND, L. (06 August 2022). Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach. Empirical Software Engineering, 27. doi:10.1007/s10664-022-10170-1
Peer Reviewed verified by ORBi

SHIN, S. Y., CHAOUCH, K., NEJATI, S., SABETZADEH, M., BRIAND, L., & Zimmer, F. (2021). Uncertainty-aware Specification and Analysis for Hardware-in-the-Loop Testing of Cyber Physical Systems. Journal of Systems and Software. doi:10.1016/j.jss.2020.110813
Peer Reviewed verified by ORBi

SHIN, S. Y., NEJATI, S., SABETZADEH, M., BRIAND, L., Arora, C., & Zimmer, F. (2020). Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based Approach. In Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'20). doi:10.1145/3387939.3391603
Peer reviewed

BETTAIEB, S., SHIN, S. Y., SABETZADEH, M., BRIAND, L., Garceau, M., & Meyers, A. (2020). Using Machine Learning to Assist with the Selection of Security Controls During Security Assessment. Empirical Software Engineering, 25 (4), 2550–2582. doi:10.1007/s10664-020-09814-x
Peer Reviewed verified by ORBi

BETTAIEB, S., SHIN, S. Y., SABETZADEH, M., BRIAND, L., Nou, G., & Garceau, M. (2019). Decision Support for Security-Control Identification Using Machine Learning. In International Working Conference on Requirements Engineering: Foundation for Software Quality, Essen 18-21 March 2019.
Peer reviewed

SHIN, S. Y., CHAOUCH, K., NEJATI, S., SABETZADEH, M., BRIAND, L., & Zimmer, F. (2018). HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems. In Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18). doi:10.1145/3239372.3239382
Peer reviewed

SHIN, S. Y., NEJATI, S., SABETZADEH, M., BRIAND, L., & Zimmer, F. (2018). Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'18). New York, United States: ACM. doi:10.1145/3213846.3213852
Peer reviewed

SHIN, S. Y. (2017). Specification and Analysis of Resource Utilization Policies for Human-Intensive Systems (Extended Abstract). In Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Management (BPM 2017). CEUR-WS.org. doi:10.1145/2897683.2897688
Peer reviewed

SHIN, S. Y., Brun, Y., Balasubramanian, H., Henneman, P. L., & Osterweil, L. J. (2017). Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling. IEEE Transactions on Systems, Man, and Cybernetics. doi:10.1109/TSMC.2017.2681623
Peer reviewed

Contact ORBilu