Scholarworks@UNIST

UNIST Library
Search

이주용
Yi, Jooyong

이주용

Department of Computer Science and Engineering(컴퓨터공학과)

  • 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
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 View12
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 View3
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 View10
Speeding up constraint-based program repair using a search-based technique File

Yi, Jooyong , Ismayilzada, Elkhan

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

이주용

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

이주용

Article Issue Date2020-04 View4
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 View9
Software Change Contracts File

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

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

Deng, Xianghua , Lee, Jooyong , Robby

Article Issue Date2012-09 View5
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 View0
Filtering false alarms of buffer overflow analysis using SMT solvers File

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

Article Issue Date2010-02 View10
1
STATISTICS
Total View :276,089
Total Download :12,019
Today View :385

RSS 1.0 RSS 2.0

CONTACT US

UNIST | Library

Tel : 052-217-1404 / 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.