Scholarworks@UNIST

UNIST Library

Browsing "Department of Computer Science and Engineering" 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 41 of 41

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

Yi, Jooyong

Conference Paper Issue Date2013-09-19 View5

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 View12

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 View3

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 View3

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 View9

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 View6

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 View2

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 View5

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 View13

DirectFix: Looking for simple program repairs File

Yi, Jooyong , Mechtaev, Sergey , Roychoudhury, Abhik

Conference Paper Issue Date2015-05-16 View2

Dynamic inference of change contracts File

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

Conference Paper Issue Date2014-09-28 View3

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 View3

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 View5

Filtering false alarms of buffer overflow analysis using SMT solvers File

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

Article Issue Date2010-02 View13

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 View3

Linkage of model checking to debugger using extended JPDA

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

Conference Paper Issue Date2002-00 View2

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 View3

On the Time Performance of Automated Fixes File

Yi, Jooyong

Conference Paper Issue Date2018-06-07 View6

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 View1

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 View17

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 View7

Software change contracts File

Qi, Dawei , Yi, Jooyong , Roychoudhury, Abhik

Conference Paper Issue Date2012-11-11 View2

Software Change Contracts File

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

Article Issue Date2015-05 View15

Speeding up constraint-based program repair using a search-based technique File

Yi, Jooyong , Ismayilzada, Elkhan

Article Issue Date2022-06 View13

Systematic testing of Java programs using extended JPDA and reflection

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

Conference Paper Issue Date2002-00 View4

Toward a Better Understanding of How to Develop Software Under Stress – Drafting the Lines for Future Research

Alexander Brown, J , Ivanov, Vladimir , Rogers, Alan , Succi, Giancarlo , Tormasov, Alexander , Yi, Jooyong

Conference Paper Issue Date2018-03-23 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 View5

Towards non-invasive software measurement system: Architecture and implementation File

Bykov, Anton , Ivanov, Vladimir , Mingazov, Marat , Rogers, Alan , Shunevich, Alexandr , Sillitti, Alberto , Succi, Giancarlo , Tormasov, Alexander , Yi, Jooyong , Zabirov, Albert , et al

Conference Paper Issue Date2018-05-01 View5

Understanding the Impact of Software Processes on the Minds of Developers

Busechian, Sara , Ivanov, Vladimir , Rogers, Alan , Sirazitdinov, Ilyas , Succi, Giancarlo , Tormasov, Alexander , Yi, Jooyong

Conference Paper Issue Date2018-05-27 View8

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 View13

What do software engineers care about? Gaps between research and practice File

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

Conference Paper Issue Date2017-09-04 View3

단일 페이지 웹애플리케이션의 메모리 누수를 위한 예방적 수정

이주용 , 샤후르 아루바 , Askar Yeltayuly Khamit , 김동선

Patent Issue Date View5

메타프로그램 생성을 통한 효율적인 자동프로그램 수정

이주용 , 김영재 , 한승헌

Patent Issue Date View4

의미기반 자동 프로그램 수정

이주용

Article Issue Date2020-04 View7

자동 프로그램 수정의 탐색공간

이주용

Article Issue Date2021-05 View5

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.