Yunja Choi
发表
Kazuhiro Ogata,
Min Zhang,
Yunja Choi,
2014,
2014 21st Asia-Pacific Software Engineering Conference.
Dongwoo Kim,
Yunja Choi,
Mingyu Park,
2015,
Sci. Comput. Program..
Moonzoo Kim,
Yunja Choi,
Moonzoo Kim,
2012,
Inf. Softw. Technol..
Yunja Choi,
Yunja Choi,
2007,
SOFSEM.
Yunja Choi,
Yunja Choi,
2011,
2011 IEEE 22nd International Symposium on Software Reliability Engineering.
Yunja Choi,
Yunja Choi,
2007,
Formal Methods Syst. Des..
Yunja Choi,
Yunja Choi,
2014,
Softw. Test. Verification Reliab..
Moonzoo Kim,
Yunja Choi,
Yunho Kim,
2008,
SPIN.
Yunja Choi,
Yunho Kim,
Moonzoo Kim,
2018,
ICSE 2018.
Mats Per Erik Heimdahl,
Yunja Choi,
M. Heimdahl,
2003,
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
Dongwoo Kim,
Yunja Choi,
Dongwoo Kim,
2018,
Sci. Comput. Program..
Yunja Choi,
Yunja Choi,
2005,
FMICS.
Yunja Choi,
Hoon Jang,
2010,
2010 IEEE 12th International Symposium on High Assurance Systems Engineering.
Mats Per Erik Heimdahl,
Michael W. Whalen,
Yunja Choi,
2005,
Automated Software Engineering.
Yunja Choi,
Yunja Choi,
2018,
SEFM.
Yunja Choi,
Christian Bunse,
C. Bunse,
2011,
Software & Systems Modeling.
Yunja Choi,
Yunja Choi,
2017,
J. Syst. Softw..
Yunja Choi,
Mingyu Park,
Taejoon Byun,
2012,
FTSCS.
Yunja Choi,
Christian Bunse,
Hans-Gerhard Groß,
2012,
J. Inf. Process. Syst..
Dongwoo Kim,
Yunja Choi,
Dongwoo Kim,
2016,
2016 6th International Conference on IT Convergence and Security (ICITCS).
Yunja Choi,
2010,
2010 IEEE 34th Annual Computer Software and Applications Conference.
Yunja Choi,
Nahida Sultana Chowdhury,
N. Chowdhury,
2013
.
Yunja Choi,
Mats P. E. Heimdahl,
2004
.
Moonzoo Kim,
Yunja Choi,
Yunho Kim,
2008,
2008 1st International Conference on Software Testing, Verification, and Validation.
Yunja Choi,
Sang Kwon Yun,
Min Gyu Park,
2013
.
Yunja Choi,
M. Debbabi,
M. Fourati,
2007
.
Mats Per Erik Heimdahl,
Yunja Choi,
M. Heimdahl,
2002,
7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings..
Kazuhiro Ogata,
Min Zhang,
Yunja Choi,
2014,
WRLA.
Mats Per Erik Heimdahl,
Michael W. Whalen,
Yunja Choi,
2002,
Proceedings 17th IEEE International Conference on Automated Software Engineering,.
Yunja Choi,
Goanghun Kim,
2015
.
Woo Jin Lee,
Yunja Choi,
Youngsul Shin,
2013,
Comput. Biol. Medicine.
Moonzoo Kim,
Yunja Choi,
Yunho Kim,
2012,
Formal Aspects of Computing.
Dongwoo Kim,
Yunja Choi,
Mingyu Park,
2015
.
Yunja Choi,
Taejoon Byun,
Taejoon Byun,
2017,
Software & Systems Modeling.
Yunja Choi,
Min-Gyu Park,
Jinsam Kim,
2010
.
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
Yunja Choi,
2002,
Requirements Engineering.
Mats Per Erik Heimdahl,
Yunja Choi,
M. Heimdahl,
2004,
Proceedings. 19th International Conference on Automated Software Engineering, 2004..
Yunja Choi,
2013,
IEICE Trans. Inf. Syst..
Dongwoo Kim,
Yunja Choi,
2017,
IEICE Trans. Inf. Syst..
Dongwoo Kim,
Yunja Choi,
Yoohee Chung,
2016,
2016 23rd Asia-Pacific Software Engineering Conference (APSEC).
Yunja Choi,
Yunja Choi,
2007,
J. Object Technol..
Dongwoo Kim,
Yunja Choi,
2018
.
Yunja Choi,
Taejoon Byun,
Mingyu Park,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).
Comparison of Path Exploration and Model Checking Techniques for Checking Automotive API Call Safety
Dongwoo Kim,
Yunja Choi,
Dongwoo Kim,
2016
.
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
Yunja Choi,
2001,
ESEC/FSE-9.
Yunja Choi,
Taejoon Byun,
2015,
SAC.
Yunja Choi,
2013,
SEFM.
Yunja Choi,
Christian Bunse,
2008,
CBSE.
Yunja Choi,
Yunja Choi,
2009,
2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software.
Dongwoo Kim,
Yunja Choi,
Yoohee Chung,
2017,
2017 24th Asia-Pacific Software Engineering Conference (APSEC).
조준형,
Yunja Choi,
최준열,
2018
.
Moonzoo Kim,
Yunja Choi,
Yunho Kim,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Yunja Choi,
Mats P. Heimdahl,
2003
.
Min Zhang,
Kazuhiro Ogata,
Yunja Choi,
2014
.