Mijung Kim

Mijung Kim

Assistant Professor at UNIST

STAR Lab

Introduction

STAR Lab stands for Software Testing and Analysis Research Lab. Research done in STAR Lab brings the safety and reliability of software to the software industry and helps users trust the software they use. We develop automated techniques for software trustworthiness, reliability, and security. We also validate and apply such techniques to real-world software systems.

Projects

We are working on the following projects:

  • Fuzzing for detecting bugs in deep learning libraries
  • Using Large Language Models (LLMs) to solve software testing tasks
  • Test generation for detecting bugs in conventional software
  • Detecting rendering bugs in web browsers
  • Safety testing of autonomous driving systems

We always encourage finding new problems and welcome new topics.

If you join STAR lab, you will be working on either one of these projects or any new topic that you want to explore.

For MS, MS-PhD, and PhD programs

As a graduate student, you will be a primary member of a research project (one of the mentioned projects above or something new). You will perform research by doing a literature survey on your topic, defining a research problem, developing a technique that addresses such a problem, and evaluating the technique. Finally, you will write a research paper of your project and publish it in a software engineering conference or journal, preferrably in a top-tier one such as ICSE, FSE, ISSTA, ASE, TSE, and TOSEM.

For UNIST undergraduate internship program

As an undergraduate student, you can choose either to work on assisting experiments of existing projects or to study research basics in the mentioned projects above. The goal of doing an internship in our lab is to build your research experience in software testing and train your research abilities to eventually work on your own research project.

Preferred Skills

  • Strong programming skills at least in one language. Knowing Java is a plus.
  • Experience with program analysis tools such as Soot, ASM, and LLVM
  • Experience with fuzzing tools such as AFL and LibFuzzer
  • Experience with auto-driving simulation tools such as Carla and LGSVL
  • Experience with autonomous vehicle systems such as Autoware and Apollo

If you are interested, please send an email to Mijung at mijungk at unist dot ac dot kr.