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 9 to 28 of 41

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 View7

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 View4

Dynamic inference of change contracts File

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

Conference Paper Issue Date2014-09-28 View7

Efficient and formal generalized symbolic execution File

Deng, Xianghua , Lee, Jooyong , Robby

Article Issue Date2012-09 View11

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 View7

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

Linkage of model checking to debugger using extended JPDA

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

Conference Paper Issue Date2002-00 View5

Mining plausible hypotheses from the literature via meta-analysis

Yi, Jooyong , Ivanov, Vladimir , Succi, Giancarlo

Conference Paper Issue Date2019-05-29 View2

Model Checking Object-Oriented Software Using Bandera Toolset

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

Conference Paper Issue Date2001-00 View6

On the Time Performance of Automated Fixes File

Yi, Jooyong

Conference Paper Issue Date2018-06-07 View8

Past expression: Encapsulating pre-states at post-conditions by means of AOP File

Yi, Jooyong , Robby , Deng, Xianghua , Roychoudhury, Abhik

Conference Paper Issue Date2013-03-24 View2

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 View18

Poster: Precooked developer dashboards: What to show and how to use File

Ivanov, Vladimir , Rogers, Alan , Succi, Giancarlo , Yi, Jooyong , Zorin, Vasiii

Conference Paper Issue Date2018-05-27 View9

Software change contracts File

Qi, Dawei , Yi, Jooyong , Roychoudhury, Abhik

Conference Paper Issue Date2012-11-11 View6

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.