소프트웨어 공학 분야 세계 최고 학회인 ACM/IEEE ICSE (Intl. Conf. on Software Engineering)에 우리 전산학부 김문주 교수 연구실의 논문이 채택되었습니다.

본 논문 "Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts" 은 전산학부 김문주 교수와 박사후연구원 김윤호 박사가 경북대 최윤자 교수와 같이 작성한 연구논문으로,

C 프로그램의 오류를 자동으로 찾으며 거짓 경보를 최소화하는 새로운 유닛 테스트 기술을 연구한 연구논문입니다.