링크가 복사되었습니다!
교수님 소개
이메일이 복사되었습니다
연구실 소개
프로그래밍 언어 연구실은 개발자들이 고품질의 소프트웨어를 설계 및 구현할 수 있도록 지원해주는 다방면의 프로그래밍 언어 기술을 연구합니다. - 프로그램 분석: 프로그램의 행동을 자동으로 분석하여, 소프트웨어 취약성 및 결함을 자동으로 검출하는 기술입니다. - 기계화 명세: 인간 친화적인 명세와 기계 친화적인 소프트웨어 사이의 간극을 좁혀주는 기술입니다. - 프로그램 합성: 명세에 부합하는 프로그램을 자동으로 합성하여 소프트웨어 개발자들의 업무 효율성을 높여주는 기술입니다. - 테스트 자동화: 개발자를 대신하여 자동으로 테스트를 생성하여 소프트웨어의 품질을 보장해주는 기술입니다.
연구실 키워드
하이 임팩트 태그
CSUR
연구 키워드
알럼나이가 간 회사
연구실 지원 방법
대학원 지원 일정·절차는 소속 대학·대학원 및 학과(전공)마다 다릅니다. 해당 학교의 대학원 모집 공지와 지원 안내를 먼저 확인해 주세요. 연구실별로 필요 서류, 면접·과제 제출, 합격 후 입학 절차 등은 교수님 또는 연구실 안내에 따릅니다.
대우 조건
*가방끈 AI가 정리한 연구성과로 최신 연구실 정보로 업데이트를 원하시는 분들은 [수정 요청] 아이콘을 클릭해주세요
연도별 논문 인용수
인용 수
누적 수
저널 & 학회 논문 출판 수
인용 50회 미만
인용 50회 이상
연구실 논문 목록
Selective Feature-Sensitive Coverage for Conformance Testing of Programming Languages
2026 venue에 대한 데이터가 없습니다
Citation0
Verification and Classification of Exploits for Node.js Vulnerabilities
2025 venue에 대한 데이터가 없습니다
Citation0
Debun: Detecting Bundled JavaScript Libraries on Web using Property-Order Graphs
2025 venue에 대한 데이터가 없습니다
Citation0
연구실 보유 특허
최근 3년간 연구실적 높은 연구실
