Eunkyoung Jee

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 25

Top Topics

Test Case Selection

Comprehensive Analysis

Adaptive Behavior

Top Venues

Softw. Test. Verification Reliab.

Publications

Zelalem Mihret, Jakob Axelsson, Eunkyoung Jee, Doo-Hwan Bae
Policy-Guided Collaboration for Enhancing System of Systems Goal Achievement. SysCon (2024)
Hyeongseok Eun, Eunkyoung Jee, Doo-Hwan Bae, Younggeul Kim, Yoonhee Lee
Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System. APSEC (2023)
Miriam Ugarte Querejeta, Eunkyoung Jee, Lingjun Liu, Pablo Valle, Aitor Arrieta, Miren Illarramendi Rezabal
Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs. ISSRE (2023)
Coralie Esnoul, Ricardo Colomo Palacios, Eunkyoung Jee, Sabarathinam Chockalingam, John Eidar Simensen, Doo-Hwan Bae
Report on the 3rd International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2022). ACM SIGSOFT Softw. Eng. Notes 48 (1) (2023)
Coralie Esnoul, Mary Sánchez-Gordón, Eunkyoung Jee, Ricardo Colomo Palacios, Sabarathinam Chockalingam, John Eidar Simensen, Doo-Hwan Bae
Report on the 4th International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2023). ACM SIGSOFT Softw. Eng. Notes 48 (4) (2023)
Sangwon Hyun, Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae
Timed pattern-based analysis of collaboration failures in system-of-systems. J. Syst. Softw. 198 (2023)
Zelalem Mihret, Eunkyoung Jee, Doo-Hwan Bae
Simulation-based Recommendation Generation for Heterogeneous Systems Participating in a Collaborative Work. SoSE (2022)
Jiyoung Song, Youlim Jung, Chiwoo Cho, Eunkyoung Jee, Doo-Hwan Bae
Statistical verification using learned usages for evaluating energy-efficient mobile device design. SAC (2022)
Jiyoung Song, Jeehoon Kang, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae
Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing. Inf. Softw. Technol. 147 (2022)
Lingjun Liu, Eunkyoung Jee, Doo-Hwan Bae
MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software. Softw. Test. Verification Reliab. 32 (8) (2022)
Eunho Cho, Gwangoo Yeo, Eunkyoung Jee, Doo-Hwan Bae
Anomaly-Aware Adaptation Approach for Self-Adaptive Cyber-Physical System of Systems Using Reinforcement Learning. SoSE (2022)
May Myat Thwe, Zelalem Mihret, Eunkyoung Jee, Doo-Hwan Bae
Cybersecurity Vulnerability Identification in System-of-Systems using Model-based Testing. SoSE (2022)
Kiat Kian Anthony Chua, Doo-Hwan Bae, Eunkyoung Jee
Metamorphic Testing for Reliability in System of Systems. APSEC (2021)
Jiyoung Song, Jacob O. Tørring, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae
Slicing executable system-of-systems models for efficient statistical verification. SESoS-WDES@ICSE (2019)
Yong-Jun Shin, Young Min Baek, Eunkyoung Jee, Doo-Hwan Bae
Data-driven environment modeling for adaptive system-of-systems. SAC (2019)
Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states. Sci. Comput. Program. 163 (2018)
Zelalem Mihret, Eunkyoung Jee, Young Min Baek, Doo-Hwan Bae
A collaboration policy model for system of systems. SoSE (2018)
Jiyoung Song, Young Min Baek, Mingyu Jin, Eunkyoung Jee, Doo-Hwan Bae
SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS. APSEC (2017)
Hee-Jin Lee, Joon-Sang Lee, Eunkyoung Jee, Doo-Hwan Bae
A User eXperience Evaluation Framework for Mobile Usability. Int. J. Softw. Eng. Knowl. Eng. 27 (2) (2017)
Dongwon Seo, Donghwan Shin, Young Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae
Modeling and verification for different types of system of systems using PRISM. SESoS@ICSE (2016)
Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
Comprehensive analysis of FBD test coverage criteria using mutants. Softw. Syst. Model. 15 (3) (2016)
Yoo Jin Lim, Gwangui Hong, Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
A runtime verification framework for dynamically adaptive multi-agent systems. BigComp (2016)
Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae
Automated Test Sequence Generation for Function Block Diagram Programs. APSEC (2016)
Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae
Timing consistency checking for UML/MARTE behavioral models. Softw. Qual. J. 24 (3) (2016)
Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae
Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems. COMPSAC (2015)
Minh Chau Nguyen, Eunkyoung Jee, Jinho Choi, Doo-Hwan Bae
Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software. SAC (2014)
Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae
Automated test case generation for FBD programs implementing reactor protection system software. Softw. Test. Verification Reliab. 24 (8) (2014)
Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew L. King, Margaret Mullen-Fortino, Soojin Park, Alex Roederer, Krishna K. Venkatasubramanian
Challenges and Research Directions in Medical Cyber-Physical Systems. Proc. IEEE 100 (1) (2012)
Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae
Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software. SERE (2012)
Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis. MoDELS (2012)
Eunkyoung Jee, Seungjae Jeon, Sung Deok Cha, Kwang Yong Koh, Junbeom Yoo, Gee-Yong Park, Poong-Hyun Seong
FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram. J. Res. Pract. Inf. Technol. 42 (3) (2010)
Eunkyoung Jee, Insup Lee, Oleg Sokolsky
Assurance Cases in Model-Driven Development of the Pacemaker Software. ISoLA (2) (2010)
Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee
Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. SAFECOMP (2010)
Jang-Soo Lee, Vikash Katta, Eunkyoung Jee, Christian Raspotnig
Erratum to "Means-ends and whole-part traceability analysis of safety requirements" [J. Syst. Software 83 (2010) 1612-1621]. J. Syst. Softw. 83 (12) (2010)
Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee
A Safety-Assured Development Approach for Real-Time Software. RTCSA (2010)
Jang-Soo Lee, Vikash Katta, Eunkyoung Jee, Christian Raspotnig
Means-ends and whole-part traceability analysis of safety requirements. J. Syst. Softw. 83 (9) (2010)
Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha
Formal Modeling and Verification of Safety-Critical Software. IEEE Softw. 26 (3) (2009)
Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha, Doo-Hwan Bae
A data flow-based structural testing technique for FBD programs. Inf. Softw. Technol. 51 (7) (2009)
Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee
A Verification Framework for FBD Based Software in Nuclear Power Plants. APSEC (2008)
Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System. SAFECOMP (2007)
Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon
Testing of Timer Function Blocks in FBD. APSEC (2006)
Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha
Control and Data Flow Testing on Function Block Diagrams. SAFECOMP (2005)
Sung Deok Cha, Han Seong Son, Junbeom Yoo, Eunkyoung Jee, Poong-Hyun Seong
Systematic evaluation of fault trees using real-time model checker UPPAAL. Reliab. Eng. Syst. Saf. 82 (1) (2003)