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 22 to 41 of 41

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 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 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 View8

Software change contracts File

Qi, Dawei , Yi, Jooyong , Roychoudhury, Abhik

Conference Paper Issue Date2012-11-11 View5

Software Change Contracts File

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

Article Issue Date2015-05 View17

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

Yi, Jooyong , Ismayilzada, Elkhan

Article Issue Date2022-06 View16

Systematic testing of Java programs using extended JPDA and reflection

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

Conference Paper Issue Date2002-00 View7

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 View7

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 View6

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 View10

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 View14

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 View5

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

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

Patent Issue Date View7

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

이주용 , 김영재 , 한승헌

Patent Issue Date View6

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

이주용

Article Issue Date2020-04 View9

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

이주용

Article Issue Date2021-05 View6

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.