소프트웨어 테스팅 및 검증 연구실

김문주 교수 · 소프트웨어 디자인, 시스템·네트워크

복잡한 소프트웨어의 오류를 자동으로 찾고 수정하는 테스팅·디버깅 기술을 연구한다. 코드 분석을 통한 테스트 케이스 생성과 오류 위치 추적 및 자동 수정을 다룬다.

소개 출처 ↗ · 공식 홈페이지의 연구 내용을 요약했습니다.