Personal tools
You are here: Home

Welcome to Software Testing and Verification Group

Research Interest

Software Testing and Verification (SW TV) Group

Announcement

  • Aug 24, 2013: Our lab name is changed from "Provable SW Lab" to "Software Testing and Verification (SW TV) Group".
  • Aug 24, 2013: We are hiring a Post-Doc who has specialty in PL, SE, or formal verification.  Please contact moonzoo@cs.kaist.ac.kr
Document Actions