Directions

SoftWare Testing & Verification Lab

Faculty Name
Moonzoo Kim
Research Area
Foundations, Design
Website
http://swtv.kaist.ac.kr/
E-mail
Phone
042-350-3543
Office
#2434, E3-­1

Our research focuses on developing automated techniques and tools for detecting and fixing bugs in complex SW.

SW is very complex in its nature due to complex data structures and infinitely diverse executions. Also, many SW applications are non-deterministic multi-threaded ones which increases the complexity further. Such complexity cannot be understood nor handled manually by human engineers, but can be controlled by scientific techniques and automated tools. For that purpose, SWTV group scientifically studies inherent nature/characteristics of target software.

Main research areas :
- Automated SW testing: automatically generating diverse test cases to achieve high test coverage through program code analysis
- Automated SW debugging: automatically locating the buggy statement and generating bug patches to fix the buggy statement

list