V-Star는 프로그램 입력에서 가시적 푸시다운 문법을 정확하게 추론할 수 있는 혁신적인 도구입니다. 이를 위해 V-Star는 Angluin의 L* 알고리즘을 활용하고 중첩 패턴과 같은 새로운 기술을 통합합니다.
프로그래밍 언어 버전 간 딥러닝 기반 코드 완성 모델의 성능 차이를 분석하고, 버전 특화 fine-tuning을 통해 성능 향상 가능성을 확인하였다.
이 연구는 Python 프로그램의 실제 결함에 대해 다양한 결함 위치 식별 기법의 효과성, 효율성 및 기타 특성을 대규모로 실증적으로 조사한다.
C 프로그램의 실행 시간 오류를 감지하고 프로그램 속성을 검증하기 위한 정적 분석 도구 C Analyzer를 개발하였다.