Challenges and Research Directions in Medical Cyber-Physical Systems
Lee, Insup, Roederer, Alexander, Venkatasubramanian, Krishna K., Sokolsky, Oleg, Chen, Sanjian, Hatcliff, John, Jee, Eunkyoung, Kim, BaekGyu, King, Andrew, Mullen-Fortino, Margaret, Park, Soojin
Published in Proceedings of the IEEE (01.01.2012)
Published in Proceedings of the IEEE (01.01.2012)
Get full text
Journal Article
Automated Test Sequence Generation for Function Block Diagram Programs
Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae
Published in 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) (2016)
Published in 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) (2016)
Get full text
Conference Proceeding
A Verification Framework for FBD Based Software in Nuclear Power Plants
Junbeom Yoo, Sungdeok Cha, Eunkyung Jee
Published in 2008 15th Asia-Pacific Software Engineering Conference (01.01.2008)
Published in 2008 15th Asia-Pacific Software Engineering Conference (01.01.2008)
Get full text
Conference Proceeding
Development of Reliability Measurement Method and Tool for Nuclear Power Plant Safety Software
Lingjun Liu, 최우영, Wooyoung Choi, 지은경, Eunkyoung Jee, 류덕산, Duksan Ryu
Published in 정보처리학회 논문지 (KTSDE) (31.05.2024)
Get full text
Published in 정보처리학회 논문지 (KTSDE) (31.05.2024)
Journal Article
Timed pattern-based analysis of collaboration failures in system-of-systems
Hyun, Sangwon, Song, Jiyoung, Jee, Eunkyoung, Bae, Doo-Hwan
Published in The Journal of systems and software (01.04.2023)
Published in The Journal of systems and software (01.04.2023)
Get full text
Journal Article
PLC 프로그램 테스트 자동화를 위한 테스트 시퀀스의 체계적 실행 제어 및 시뮬레이터 기반 출력 방법
은형석(Hyeongseok Eun), Lingjun Liu, 지은경(Eunkyoung Jee), 배두환(Doo-Hwan Bae)
Published in 정보과학회 컴퓨팅의 실제 논문지 (2023)
Published in 정보과학회 컴퓨팅의 실제 논문지 (2023)
Get full text
Journal Article
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states
Song, Jiyoung, Jee, Eunkyoung, Bae, Doo-Hwan
Published in Science of computer programming (01.10.2018)
Published in Science of computer programming (01.10.2018)
Get full text
Journal Article
Testing of Timer Function Blocks in FBD
Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sungdeok Cha, Junbeom Yoo, Geeyong Park, Keechoon Kwon
Published in 2006 13th Asia Pacific Software Engineering Conference (APSEC'06) (01.12.2006)
Published in 2006 13th Asia Pacific Software Engineering Conference (APSEC'06) (01.12.2006)
Get full text
Conference Proceeding
Metamorphic Testing for Reliability in System of Systems
Chua, Kiat Kian Anthony, Bae, Doo-Hwan, Jee, Eunkyoung
Published in 2021 28th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2021)
Published in 2021 28th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2021)
Get full text
Conference Proceeding
A runtime verification framework for dynamically adaptive multi-agent systems
Lim, Yoo Jin, Hong, Gwangui, Shin, Donghwan, Jee, Eunkyoung, Bae, Doo-Hwan
Published in 2016 International Conference on Big Data and Smart Computing (BigComp) (01.01.2016)
Published in 2016 International Conference on Big Data and Smart Computing (BigComp) (01.01.2016)
Get full text
Conference Proceeding
Journal Article
Comprehensive analysis of FBD test coverage criteria using mutants
Shin, Donghwan, Jee, Eunkyoung, Bae, Doo-Hwan
Published in Software and systems modeling (01.07.2016)
Published in Software and systems modeling (01.07.2016)
Get full text
Journal Article
Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems
Lim, Yoo Jin, Jee, Eunkyoung, Shin, Donghwan, Bae, Doo-Hwan
Published in 2015 IEEE 39th Annual Computer Software and Applications Conference (01.07.2015)
Published in 2015 IEEE 39th Annual Computer Software and Applications Conference (01.07.2015)
Get full text
Conference Proceeding
Journal Article
A Safety-Assured Development Approach for Real-Time Software
Eunkyoung Jee, Shaohui Wang, Jeong Ki Kim, Jaewoo Lee, Sokolsky, Oleg, Insup Lee
Published in 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications (01.08.2010)
Published in 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications (01.08.2010)
Get full text
Conference Proceeding
Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs
Querejeta, Miriam Ugarte, Jee, Eunkyoung, Liu, Lingjun, Valle, Pablo, Arrieta, Aitor, Rezabal, Miren Illarramendi
Published in 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE) (09.10.2023)
Published in 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE) (09.10.2023)
Get full text
Conference Proceeding