by Choi, Yunja
Published in IEEE access (2020)

by CHOI, Yunja
Published in IEICE Transactions on Information and Systems (2013)

by CHOI, Yunja, KIM, Dongwoo
Published in IEICE Transactions on Information and Systems (01.01.2017)

by Yunja Choi
Published in 2011 IEEE 22nd International Symposium on Software Reliability Engineering (01.11.2011)

by Kim, Moonzoo, Kim, Yunho, Choi, Yunja
Published in Formal aspects of computing (01.05.2012)

by Dongwoo Kim, Yoohee Chung, Yunja Choi
Published in 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) (2016)

by Choi, Yunja
Published in Software testing, verification & reliability (01.01.2023)

by Yunja Choi, Min Zhang, Ogata, Kazuhiro
Published in 2014 21st Asia-Pacific Software Engineering Conference (01.12.2014)

by Choi, Yunja
Published in The Journal of systems and software (01.03.2018)

by CHOI YUNJA
Year of Publication 09.07.2024

by Park, Mingyu, Byun, Taejoon, Choi, Yunja
Published in Electronic proceedings in theoretical computer science (29.12.2012)

by Kim, Yoel, Choi, Yunja
Published in Proceedings of the ACM on software engineering (12.07.2024)

by Yunja Choi, Hoon Jang
Published in 2010 IEEE 12th International Symposium on High Assurance Systems Engineering (01.11.2010)

by Kim, Dongwoo, Choi, Yunja
Published in Science of computer programming (01.10.2018)

by JUNG SOHEE, CHOI YUNJA
Year of Publication 19.09.2023

by KIM YOEL, CHOI YUNJA
Year of Publication 22.06.2023

by Choi, Yunja
Published in Software testing, verification & reliability (01.01.2014)

by 최준열(Junyeol Choi), 김용길(Yongkil Kim), 조준형(Joonhyung Cho), 최윤자(Yunja Choi)
Published in 멀티미디어학회논문지 (2018)

by Choi, Yunja, Byun, Taejoon
Published in Software and systems modeling (01.02.2017)

by Kim, Dongwoo, Choi, Yunja
Published in 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2019)