  | MANDRIOLI, C., SHIN, S. Y., BIANCULLI, D., & Briand, L. (In press). Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2025.3563121  Peer Reviewed verified by ORBi |
 | OLLANDO, R., SHIN, S. Y., & BRIAND, L. (2025). Learning-Guided Fuzzing for Testing Stateful SDN Controllers. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3733717 Peer Reviewed verified by ORBi |
 | SHIN, S. Y., PASTORE, F., & BIANCULLI, D. (2025). Quantum Program Linting with LLMs: Emerging Results from a Comparative Study. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/64692. |
  | 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: Systems. doi:10.1109/TSMC.2017.2681623 Peer reviewed |
Dataset: