Welcome to Software Testing and Verification Group
- Software Engineering Group
- Department of Computer Science
- Korea Advanced Institute of Science and Technology (KAIST)
- Introduction slides of the SWTV group available here
- If you are interested in joining the SWTV group, please take CS453 Automated Software Testing Fall semester, which is an essential class for the research.
- We are hiring post docs and Ph.D students in programming language or software engineering. If you are interested, please send your CV to Prof. Moonzoo Kim.
- Aug 24, 2013: Our lab name is changed from "Provable SW Lab" to "Software Testing and Verification (SW TV) Group".