maincontent

Software Analysis & Testing research group in Chungnam National University focuses on programming languages, program analysis and testing, program verification, and security. The research topics include, but are not limited to:

Program Analysis: Devise novel analysis techniques to extract valuable semantic properties as well as detect bugs and security vulnerabilities from real-world programs.
Testing: Auto-generate test cases efficient to expose faults from programs, and localize root causes of the faults.
Binaries: Analyze binary executables to detect hidden malicious behaviors in them, and to lift them to a more understandable format.
Mobile applications and ML code : Analyze mobile applications and ML code to detect bugs and privacy issues, which make them safe and dependable.

We are recruiting motivated undergraduate, graduate students and postdoctoral researchers! If you are interested in our research and laboratory, please contact Sungho Lee.

열정있는 학부, 석사, 박사과정 및 연구원을 모집합니다 : 우리는 프로그래밍 언어 이론에 기반한 프로그램 분석 및 테스팅 기법을 연구하고 있습니다. 이러한 기법을 통해 실생활에 널리 사용되는 프로그램에서 결함 및 보안 취약점을 자동으로 검출하여, 위험하고 취약한 소프트웨어를 사전에 탐지하며 안전하고 믿을수 있는 소프트웨어 개발을 지원합니다. 관심있는 분들의 많은 지원 바랍니다.