Welcome to Software Testing and Verification Group

Software Testing and Verification (SWTV) Group

• VPlusLab Inc. ( https://vpluslab.kr ) founded by the SWTV researchers
• Software Engineering Group
• Department of Computer Science
• Korea Advanced Institute of Science and Technology (KAIST)

Announcement

• 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.

• Dec 29, 2021: News articles about VPlusLab. Inc which was founded by SWTV members.

• 브이플러스랩, AI 기반 소프트웨어 자동 테스팅 기술로 모빌리티 혁신 앞당긴다 (글로벌에픽 2021.12.23)
• 브이플러스랩, SW 결함 자동 검출 솔루션 'CROWN 2.0' 선보여 (파이낸셜뉴스, 2021.12.25)
• 브이플러스랩, 소프트웨어 결함 자동 검출가능한 ‘CROWN 2.O’으로 안전한 모빌리티 혁신 기대 (비욘드포스트, 2021.12.26)

• Nov 4, 2020: Naver boostcourse platform publishes Intro to Programming using Python online class made by Prof. Moonzoo Kim.

• https://www.edwith.org/boostcourse-cs-python

• Apr 1, 2020: Journal of Software: Practice and Experience receives submission for a special issue on software engineering in practice 2020.

• The submission deadline is April 15, 2020. You can find the detail about the special issue at the following link:
• https://onlinelibrary.wiley.com/page/journal/1097024x/homepage/special_issues.htm