Scholarworks@UNIST

UNIST Library

Browsing by Author : 이주용

All A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

가 나 다 라 마 바 사 아 자 차 카 타 파 하

Sort by: In order: Results/Page Etal:

Showing results 1 to 20 of 41

A case for dynamic reverse-code generation to debug non-deterministic programs File

Yi, Jooyong

Conference Paper Issue Date2013-09-19 View7

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 View13

A feasibility study of using automated program repair for introductory programming assignments File

Yi, Jooyong , Ahmed, Umair Z , Karkare, Amey , Tan, Shin Hwie , Roychoudhury, Abhik

Conference Paper Issue Date2017-09-04 View6

A new architecture and implementation strategy for non-invasive software measurement systems File

Bykov, Anton , Ivanov, Vladimir , Rogers, Alan , Shunevich, Alexandr , Sillitti, Alberto , Succi, Giancarlo , Tormasov, Alexander , Yi, Jooyong , Zabirov, Albert , Zaplatnikov, Denis

Conference Paper Issue Date2018-04-09 View6

A Study on Formal Verification of complex network protocol

Yi, Jooyong , Bang, Ki-Seok , Choi, Jin-Young

Conference Paper Issue Date2001-00 View6

An Open-Source Software Metric Tool for Defect Prediction, Its Case Study and Lessons We Learned File

Gabdrakhmanov, Bulat , Tolkachev, Aleksey , Succi, Giancarlo , Yi, Jooyong

Conference Paper Issue Date2018-06-07 View6

Angelix: scalable multiline program patch synthesis via symbolic analysis File

Yi, Jooyong , Mechtaev, Sergey , Roychoudhury, Abhik

Conference Paper Issue Date2016-05-14 View3

Automated Program Repair from Fuzzing Perspective File

Kim, YoungJae , Han, Seungheon , Khamit, Askar Yeltayuly , Yi, Jooyong

Conference Paper Issue Date2023-07-12 View14

Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems File

Deng, Xianghua , Lee, Jooyong , Robby,

Conference Paper Issue Date2006-09-18 View6

BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++

An, Gabin , Kwon, Minhyuk , Choi, Kyunghwa , Yi, Jooyong , Yoo, Shin

Conference Paper Issue Date2023-09-13 View7

Case Study on Development Methodology of Safety-Critical System Using Formal Method

Sung, ChangHun , Yi, Jooyong , Lee, Na-Young , Choi, Jin-Young

Conference Paper Issue Date2001-00 View5

Codeflaws: A programming competition benchmark for evaluating automated program repair tools File

Tan, Shin Hwei , Yi, Jooyong , Yulis , Mechtaev, Sergey , Roychoudhury, Abhik

Conference Paper Issue Date2017-05-20 View6

Design and validation of precooked developer dashboards File

Ivanov, Vladimir , Pischulin, Vladislav , Rogers, Alan , Succi, Giancarlo , Yi, Jooyong , Zorin, Vasilii

Conference Paper Issue Date2018-11-04 View14

DirectFix: Looking for simple program repairs File

Yi, Jooyong , Mechtaev, Sergey , Roychoudhury, Abhik

Conference Paper Issue Date2015-05-16 View3

Dynamic inference of change contracts File

Le, Tien-Duy B. , Yi, Jooyong , Lo, David , Thung, Ferdian , Roychoudhury, Abhik

Conference Paper Issue Date2014-09-28 View6

Efficient and formal generalized symbolic execution File

Deng, Xianghua , Lee, Jooyong , Robby

Article Issue Date2012-09 View10

Expressing and checking intended changes via software change contracts File

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

Conference Paper Issue Date2013-07-15 View6

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 View6

Filtering false alarms of buffer overflow analysis using SMT solvers File

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

Article Issue Date2010-02 View16

LeakPair: Proactive Repairing of Memory Leaks in Single Page Web Applications

Shahoor, Arooba , Khamit, Askar , Yi, Jooyong , Kim, Dongsun

Conference Paper Issue Date2023-09-14 View7

1 2 3 > >>

RSS 1.0 RSS 2.0

UNIST | Library

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

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