Jooyong Yi

According to our database, Jooyong Yi authored at least 37 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Poracle: Testing Patches under Preservation Conditions to Combat the Overfitting Problem of Program Repair.

Elkhan Ismayilzada, Md Mazba Ur Rahman, Dongsun Kim, Jooyong Yi

ACM Trans. Softw. Eng. Methodol., February, 2024

Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs.

Arooba Shahoor, Jooyong Yi, Dongsun Kim

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Leakpair: Proactive Repairing of Memory Leaks in Single Page Web Applications.

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

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

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

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

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Automated Program Repair from Fuzzing Perspective.

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

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

Verifix: Verified Repair of Programming Assignments.

Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury

ACM Trans. Softw. Eng. Methodol., 2022

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

Jooyong Yi, Elkhan Ismayilzada

Inf. Softw. Technol., 2022

Extending Developer Experience Metrics for Better Effort-Aware Just-In-Time Defect Prediction.

Yeongjun Cho, Jung-Hyun Kwon, Jooyong Yi, In-Young Ko

IEEE Access, 2022

2019

Mining plausible hypotheses from the literature via meta-analysis.

Jooyong Yi, Vladimir Ivanov, Giancarlo Succi

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

2018

A correlation study between automated program repair and test-suite metrics.

Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury

Empir. Softw. Eng., 2018

Design and validation of precooked developer dashboards.

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

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

On the Time Performance of Automated Fixes.

Jooyong Yi

Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

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

Bulat Gabdrakhmanov, Aleksey Tolkachev, Giancarlo Succi, Jooyong Yi

Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Comparison of Agile, Quasi-Agile and Traditional Methodologies.

Vladimir Ivanov, Sergey Masyagin, Alan Rogers, Giancarlo Succi, Alexander Tormasov, Jooyong Yi, Vasily Zorin

Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

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

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

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Precooked developer dashboards: what to show and how to use.

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

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Understanding the impact of pair programming on the minds of developers.

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

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Teaching Programming and Design-by-Contract.

Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, Jooyong Lee, Sergey Masyagin, Manuel Mazzara, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera

Proceedings of the Challenges of the Digital Transformation in Education - Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL 2018), 2018

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

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

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

2017

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

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

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

What do software engineers care about? gaps between research and practice.

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

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Codeflaws: a programming competition benchmark for evaluating automated program repair tools.

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

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Towards Non-invasive Software Measurement System: Architecture and Implementation.

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

Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Angelix: scalable multiline program patch synthesis via symbolic analysis.

Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Software Change Contracts.

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

ACM Trans. Softw. Eng. Methodol., 2015

DirectFix: Looking for Simple Program Repairs.

Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Dynamic Inference of Change Contracts.

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

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

2013

The Java Modeling Language (JML) (NII Shonan Meeting 2013-3).

Gary T. Leavens, Peter H. Schmitt, Jooyong Yi

NII Shonan Meet. Rep., 2013

A Case for Dynamic Reverse-code Generation to Debug Non-deterministic Programs.

Jooyong Yi

Proceedings of the Semantics, 2013

Expressing and checking intended changes via software change contracts.

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

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Past expression: encapsulating pre-states at post-conditions by means of AOP.

Jooyong Yi, Robby, Xianghua Deng, Abhik Roychoudhury

Proceedings of the Aspect-Oriented Software Development, 2013

2012

Efficient and formal generalized symbolic execution.

Xianghua Deng, Jooyong Lee, Robby

Autom. Softw. Eng., 2012

Software change contracts.

Dawei Qi, Jooyong Yi, Abhik Roychoudhury

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

2010

Towards an industrial grade IVE for Java and next generation research platform for JML.

Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos

Int. J. Softw. Tools Technol. Transf., 2010

Filtering false alarms of buffer overflow analysis using SMT solvers.

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

Inf. Softw. Technol., 2010

2006

Dynamic Reverse Code Generation for Backward Execution.

Jooyong Lee

Proceedings of the Workshop on Verification and Debugging, 2006

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

Xianghua Deng, Jooyong Lee, Robby

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006