Welcome to Software Testing and Verification Group
- Software Engineering Group
- Department of Computer Science
- Korea Advanced Institute of Science and Technology (KAIST)
- 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 email@example.com