Personal tools
You are here: Home Members moonzoo_kim

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: [at]

CV (updated Oct 23)




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.

  • H-index: 31


Professional Activities

(Link to) Teaching

(Link to) Projects

Words from the Bible null



  • 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
Document Actions