Scholarworks@UNIST

UNIST Library
Search

이주용
Yi, Jooyong

이주용

컴퓨터공학과

  • Programming Languages and Software Engineering Lab.
  • Website
Research Interests
Program Repair;Program Synthesis;Software Testing;Program Specification and Verification;Neuro-symbolic program repair;Intelligent tutoring systems;자동 버그 탐색;자동 패치 생성;프로그래밍 언어;소프트웨어
Lab Description
In PLaSE (Programming Languages and Software Engineering Lab), we are developing cutting-edge technologies to make software more reliable, secure and efficient in an automated manner. In other words, we are developing <> that performs various tasks, most notably,
• automatic bug detection, and• automatic patch generation.
We are also conducting research on <>, an AI-system that helps students learn how to programming by providing useful feedback automatically.
Researcher ID Research Gate ORCiD Scopus Google Scholar
Previous
Proactive Debugging of Memory Leakage Bugs in Single Page Web Applications File

Shahoor, Arooba , Abdyldayev, Satbek , Hong. Hyeongi , Yi, Jooyong , Kim, Dongsun

Article Issue Date2025-07 View107
Poracle: Testing Patches Under Preservation Conditions to Combat the Overfitting Problem of Program Repair File

Ismayilzada, Elkhan , Rahman, Md Mazba Ur , Kim, Dongsun , Yi, Jooyong

Article Issue Date2024-02 View130
Extending Developer Experience Metrics for Better Effort-Aware Just-In-Time Defect Prediction File File

Cho, Yeongjun , Kwon, Jung-Hyun , Yi, Jooyong , Ko, In-Young

Article Issue Date2022-12 View94
Verifix: Verified Repair of Programming Assignments File File

Ahmed, Umair Z. , Fan, Zhiyu , Yi, Jooyong , Al-Bataineh, Omar I. , Roychoudhury, Abhik

Article Issue Date2022-10 View110
Speeding up constraint-based program repair using a search-based technique File

Yi, Jooyong , Ismayilzada, Elkhan

Article Issue Date2022-06 View108
자동 프로그램 수정의 탐색공간

이주용

Article Issue Date2021-05 View73
의미기반 자동 프로그램 수정

이주용

Article Issue Date2020-04 View88
A correlation study between automated program repair and test-suite metrics File

Yi, Jooyong , Tan, Shin Hwei , Mechtaev, Sergey , Bohme, Marcel , Roychoudhury, Abhik

Article Issue Date2018-10 View88
Software Change Contracts File

Yi, Jooyong , Qi, Dawei , Tan, Shin Hwei , Roychoudhury, Abhik

Article Issue Date2015-05 View92
Efficient and formal generalized symbolic execution File

Deng, Xianghua , Lee, Jooyong , Robby

Article Issue Date2012-09 View104
Towards an industrial grade IVE for Java and next generation research platform for JML File

Chalin, Patrice , Robby , James, Perry R. , Lee, Jooyong , Karabotsos, George

Article Issue Date2010-11 View79
Filtering false alarms of buffer overflow analysis using SMT solvers File

Kim, Youil , Lee, Jooyong , Han, Hwansoo , Choe, Kwang-Moo

Article Issue Date2010-02 View113
1

RSS 1.0 RSS 2.0

CONTACT US

UNIST | Library

Tel : 052-217-1403 / Email : scholarworks@unist.ac.kr

Copyright (c) 2023 by UNIST LIBRARY. All rights reserved.

ScholarWorks@UNIST was established as an OAK Project for the National Library of Korea.