Personal tools
You are here: Home

Welcome to Software Testing and Verification Group



Software Testing and Verification (SW TV) Group


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