CS492A Automated Software Analysis, Fall 18

Announcement

The course number of this class has changed from CS453 (until 2016) to CS492
Sep 27: The documentation page for Clang 4.0.1 API is now available at the HW section.
Oct 8: Mid-term exam Oct 17 10:30~12:00 AM
Dec 3: Final exam on Dec 12 9:00- 12:00 AM

Administrative Information

Instructor: Moonzoo Kim

Office: 2434 (located at the east wing)

Phone:042-350-3543

E-mail: moonzoo @ c s . k a i s t . a c . k r

Office hour: TBD

(reservation e-mail would be preferred)

Teaching assistants: Hyunsu Lim (bookman01@kaist.ac.kr), Kunwoo Park (kunwoo1209@kaist.ac.kr)

TA office hour: TBD

Lecture hours: Mon/Wed 10:30 - 11:45 AM
Lecture room: N1 RM#422
Prerequisite: experience in C/C++ programming and Linux/Unix utilities
Grading: attendance/class participation/quiz: 20%, HW: 50%, midterm exam: 10%, final exam:20%

Late HW will be accepted with 10% penalty of the max score in 1 day, 30% penalty of the max score in 3 days. HW will not be accepted after then.
HW should be submitted both in hardcopy and softcopy (through KLMS to TA). 10% penalty of the max score for missing hardcopy or softcopy unless explicitly written in HW.

Hint: many questions of exams are from the homework.

All programming HWs you submit must be able to be replayed by executing a single script file on a TA's verifier account (i.e., submitted HW should not have a dependency on your home directory, environment, etc.). Also, the replayed execution must demonstrate the same output to the submitted hardcopy. You will get 10% penalty of the max score otherwise.

For your programming HWs, you should not use external libraries which are not available on the verifier machines. If you really need an external library, you have to ask TAs to install it on the verifier machines.

More than 7 absences of the class will get F grade

Late attendance shall be considered as 1/3 absence.
Grad students who are occupied by his/her lab activities (e.g., attending conf, etc.) should submit 1 week prior notice.
No excuse for the absence of class including family issues, illness, etc.

The official language in the class is English. All students should submit all written documents such as homework, project reports, exams, etc. in English; 20% penalty of the max score otherwise.
Questions and answers can be done through KLMS

http://klms.kaist.ac.kr/course/view.php?id=61575

Excerpts from 강의평가

"실질적으로 써먹을 수 있는 내용을 많이 배워서 보람찼습니다"
"과제가 많이 어려운것 같았다. 과제에 대한 도움을 수업에서 좀 더 주었으면 좋겠다."

Syllabus

This class covers automated SW testing/verification techniques to detect SW bugs effectively and efficiently. In particular, this class focuses to teach techniques that automatically generate test cases to achieve high code coverage and, thus, to detect many bugs.

The class aims to teach practical applications of advanced testing/verification techniques as well as their underlying algorithms. This class guides students to use various open-source software testing/verification tools through HWs and learn the underlying mechanisms to maximize the performance of automated testing/verification.