Moonzoo Kim's Home Page
Contact Information
Moonzoo Kim (김문주 in Korean, 金文柱 in Chinese)
Rm# 2434, E3-1 School of Computing, KAIST
373-1 Guseong-dong, Yuseong-gu
Daejeon 34141 Republic of Korea
TEL: +82-42-350-3543
FAX: +82-42-350-3510
mailto: moonzoo.kim [at] gmail.com
Background
- Sep 2019 - present: CEO of VPlusLab Inc. (https://vpluslab.kr) that provides automated software testing tools/services/training.
- Mar 2012 - present: Associate professor at School of Computing KAIST, leading Software Testing and Verification Group
- Sep 2006 - Feb 2012: Assistant professor at School of Computing KAIST
- 2004 - Aug 2006: Researcher at Pohang University of Science and Technology
- 2002 - 2004: Research Engineer at Samsung SECUi.COM
- 1995 - 2001: Ph.D degree in CIS, Univ. of of Pennsylvania
Dissertation: Information extraction for run-time formal analysis (slides)
Advisor: Sampath Kannan and Insup Lee - 1992 - 1995: B.S. degree in Computer Science, KAIST
- 1990 - 1992: Seoul Science High School
Research Interests
- Automated software testing and debugging (dynamic symbolic executions, automated unit testing, fault localization)
- Mutation-based software analysis (fault localization, test generation, SW metrics)
- Industrial application of automated testing and debugging techniques (Samsung smartphones, LG home appliances, Hyundai cars, etc)
(Link to) Publications
Note that my papers that were written before 2003 used MoonJoo Kim as an author name instead of MoonZoo Kim.
- >3500 citations (see Google scholar profile )
- H-index: 31
Professional Activities
- Journal Associated Editor/Editorial Board
-
Journal of Software Testing, Verification and Reliability (STVR) Online ISSN: 1099-1689, 2016.5 - 2024.7
-
Journal of Computing Science and Engineering (JCSE) pISSN:1976-4677 eISSN:2093-8020, 2012.5-present
-
Journal of KIISE: Software and Application (정보과학회 논문지: 소프트웨어 및 응용) ISSN:1229-6848, 2017.3- present
- Conference/symposium Organizer:
- Program (co)chair:
- Intl. Conf. on Advances in System Testing and Validation Lifecycle (VALID), Porto, Portugal, 2009
- 6th International Symposium on Automated Technology for Verification and Analysis (ATVA), Seoul, Korea 2008
- Organizing committee:
- Intl. Symposium on Software Testing and Analysis (ISSTA) Workshop co-chair, Beijing, China, 2019
- Intl. Conf. on Software Engineering (ICSE) New Faculty Symposium (NFS) co-chair, Austin TX, US, 2016
- Intl. Conf. on Software Testing,Verification and Validation (ICST) Publication chair, Chicago IL, US, 2016
- IEEE/ACM Intl. Conf. on Automated Software Engineering (ASE) Publication chair, Lincoln NE, US, 2015
- Korean Software Engineering Researcher Forum co-chair, HKUST HongKong, Nov 21 2014
- Conference Program Committees:
- Automated Technology for Verification and Analysis (ATVA), 07,09,12,13,14, 16
- IEEE/ACM Intl. Conf. on Automated Software Engineering (ASE) Expert review panel, 17
- IEEE/ACM Intl. Conf. on Automated Software Engineering (ASE) Tools track, 09, 13
- IEEE/ACM Intl. Workshop on Automation of Software Test (AST), 14
- ACM Foundations of Software Engineering (FSE) Student research competition, 14
- ESEC/FSE Ideas, Visions and Reflections 20, 21, 22
- ESEC/FSE Industry Paper-track 22, 24, 25
- IEEE Intl. Symposium on Software Reliability Engineering (ISSRE) 14, 15, 16, 17, 21
- Intl. Conf. on Software Engineering (ICSE) 14, 15, 16 (program board), 17, 19, 20 (program board), 21, 25
- Intl. Conf. on Software Engineering (ICSE) Workshops 23
- Intl. Conf. on Software Engineering (ICSE) Demonstrations track 12
- Intl. Conf. on Software Engineering (ICSE) Student research competition 13
- Intl. Conf. on Software Testing, Verification and Validation (ICST) 15, 16, 17, 23
- Intl. Symposium on Software Testing and Analysis (ISSTA) 14, 17, 18, 23
- Intl. Symposium on Software Testing and Analysis (ISSTA) Tool demo track 16
- TestEd workshop, 20
- Verified Software: Theories, Tools and Experiments (VSTTE) 14
- Conf. Keynote Talk:
- The 1st IEEE/ACM International Conference on Automation of Software Test (AST), "CROWN 2.0: Automated Test Generation for Industrial Embedded Software - 17 Years Journey from Research To Product", July 15, 2020
- The 15th Intl. Conf. on Formal Aspects of Component Software (FACS), "Lessons Learned from Automated Analysis of Industrial SW for 15 Years", Oct 10-12, 2018
(Link to) Teaching
- KAIST online Python programming class (taught in Korean (한글강의) based on KAIST CS101)
- Naver Boostcourse: online Python programming class (taught in Korean (한글강의) based on KAIST CS101)
(Link to) Projects
Words from the Bible 
-
Jesus replied, "You must love the Lord your God with all your heart, all your soul, and all your mind". This is the first and greatest commandment. A second is equally important:"Love your neighbor as yourself". All the other commandments and all the demands of the prophets are based on these two commandments... Matthew 23:37-40
- But he said to me "My grace is sufficient for you, for my power is made perfect in weakness". Therefore I will boast all the more gladly about my weaknesses, so that Christ's power may rest on me. That's why, for Christ's sake, I delight in weaknesses, in insults, in hardships, in persecutions, in difficulties. For when I am weak, then I am strong....2Corinthians 12:9-10
- Through love and faithfulness sin is atoned for, through the fear of the LORD a man avoids evil... Proverb 16:6
- We are made right in God's sight when we trust in Jesus Christ to take away our sins. And we all can be saved in this same way, no matter who we are or what we have done ... Roman 3:22
- Love is patient, love is kind. It does not envy, it does not boast, it is not proud. It is not rude, it is not self-seeking, it is not easily angered, it keeps no record of wrongs. Love does not delight in evil but rejoices with the truth. It always protects, always trusts, always hopes, always perseveres... 1Cor 13:4 - 7
