링크가 복사되었습니다!
교수님 소개
이메일이 복사되었습니다
연구실 소개
SWTV 연구실은 복잡한 SW의 오류를 자동으로 검출하고 자동으로 고치는 기술들을 연구한다. SW는 복잡한 자료 구조나 loop 등을 통한 수많은 다양한 수행동작으로 인해 매우 복잡하다. 또한 많은 SW가 multi-thread로 인한 동시성 문제를 갖게 되어 그 복잡도가 한층 더 높아진다. 이러한 SW의 높은 복잡도는 사람이 수작업으로 분석하고 처리할 수 있는 한계를 넘기 때문에, SW의 높은 복잡도로 인한 오류를 해결하기 위해, SW의 본질적인 특성에 대해 연구하고, 과학적인 SW 테스팅/디버깅 기술과 자동화 도구를 연구한다.
연구실 키워드
하이 임팩트 태그
연구 키워드
알럼나이가 간 회사
연구실 지원 방법
대학원 지원 일정·절차는 소속 대학·대학원 및 학과(전공)마다 다릅니다. 해당 학교의 대학원 모집 공지와 지원 안내를 먼저 확인해 주세요. 연구실별로 필요 서류, 면접·과제 제출, 합격 후 입학 절차 등은 교수님 또는 연구실 안내에 따릅니다.
대우 조건
*가방끈 AI가 정리한 연구성과로 최신 연구실 정보로 업데이트를 원하시는 분들은 [수정 요청] 아이콘을 클릭해주세요
연도별 논문 인용수
인용 수
누적 수
저널 & 학회 논문 출판 수
인용 50회 미만
인용 50회 이상
연구실 논문 목록
Precise learn-to-rank fault localization using dynamic and static features of target programs
2019 venue에 대한 데이터가 없습니다
Citation66
함수 관련도를 이용한 퍼징의 커버리지 향상
2019 venue에 대한 데이터가 없습니다
citation_count에 대한 데이터가 없습니다
Concolic testing for high test coverage and reduced human effort in automotive industry
2019 venue에 대한 데이터가 없습니다
Citation27
연구실 보유 특허
최근 3년간 연구실적 높은 연구실
