CS453 Automated Software Testing


Shin Yoo shin.yoo@kaist.ac.kr Office: E3-1 Room 2405


This course is concerned with a broad range of software testing technique, with a heavy emphasis on automation, tools, and frameworks, as well as the research output behind them. The topic will include, but are not limited to: black box testing/combinatorial testing, random testing, concepts of coverage, structural testing, mutation testing, regression testing, testability transformation, automated debugging, etc.


  • Coursework: 30%
  • Midterm Exam: 30%
  • Project: 30%
  • Class Participation: 10%

Teaching Assistant

  • To be announced.


We do not have a textbook per se, and the course will be based on slides and other reading material that are deemed appropriate. However, if you want to get broader sense for some of the topics dealt by this course, I recommend the following books and publications.

Lecture Schedule

I have three trips that I am already committed to in Spring 2018. I was invited to speak at the 58th CREST Open Workshop on 27th February. I am the Program Co-chair for ICST 2018, which takes place from 9th to 13th of April. Finally, I am attending the biggest software engineering conference, ICSE 2018, in the last week of May to present papers and conduct meetings. I will try my best to keep the disruptions to the minimum; there may be one or two guest lectures where appropriate.

Since this is the first year I take over CS453, the list of topics and papers to read are flexible and may change.