이 연구실은 소프트웨어의 신뢰성을 확보하기 위해 자연어 설명으로부터 형식 명세를 추출하는 'Expecto'와 같은 기술로 검증 오라클을 개발하고 있습니다. 또한, JIT 컴파일러의 번역 검증을 위한 단위 테스트 자동 생성 및 가상의 실행 기법을 활용하여 오류 위치를 정확히 파악하는 등 소프트웨어 테스트 및 디버깅 기술을 강화하고 있습니다.
학과 페이지에 적힌 연구 분야
프로그램 분석, 프로그래밍 언어, 소프트웨어 보안
12
논문
8
주도 (교신·마지막저자)
7
분야 상위 10% 논문
2.51
FWCI 중앙값
114
총 인용
2021–2026
수집 범위
FWCI(Field-Weighted Citation Impact)는 같은 분야·연도·논문 유형의 세계 평균을 1.0으로 놓고 비교한 값입니다. 분야 보정이 되어 있어 학회 논문과 저널 논문, 전산학과 재료공학을 같은 잣대로 볼 수 있습니다.
논문 유형
저널 논문 6학회 논문 6
연도별 논문
주도 (교신·마지막저자)참여
2026년 · 주도 2편 · 참여 0편
연구 계통도
모든 분야가 2025년 이후로도 이어지고 있습니다.
가로축은 연도, 점 크기는 그 해 논문 수입니다. 실선은 지금도 이어지는 줄기, 점선과 빈 동그라미는 2025년 전에 끊긴 줄기입니다. 논문 2편 이하인 분야 2개(4편)는 단발성 협업으로 보아 그리지 않았습니다.
전국 대학 · 전 분야