Jooyong Yi

Orcid: 0000-0002-7215-0855

Affiliations:
  • Ulsan National Institute of Science and Technology, Korea
  • Innopolis University, Russia (former)
  • National University of Singapore (NUS) (former)


According to our database1, Jooyong Yi authored at least 36 papers between 2006 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Poracle: Testing Patches under Preservation Conditions to Combat the Overfitting Problem of Program Repair.
ACM Trans. Softw. Eng. Methodol., February, 2024

2023
Leakpair: Proactive Repairing of Memory Leaks in Single Page Web Applications.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Automated Program Repair from Fuzzing Perspective.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022
Verifix: Verified Repair of Programming Assignments.
ACM Trans. Softw. Eng. Methodol., 2022

Speeding up constraint-based program repair using a search-based technique.
Inf. Softw. Technol., 2022

Extending Developer Experience Metrics for Better Effort-Aware Just-In-Time Defect Prediction.
IEEE Access, 2022

2019
Mining plausible hypotheses from the literature via meta-analysis.
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.
Empir. Softw. Eng., 2018

Design and validation of precooked developer dashboards.
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.
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.
Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Comparison of Agile, Quasi-Agile and Traditional Methodologies.
Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

A new architecture and implementation strategy for non-invasive software measurement systems.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Precooked developer dashboards: what to show and how to use.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Understanding the impact of pair programming on the minds of developers.
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Teaching Programming and Design-by-Contract.
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.
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.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

What do software engineers care about? gaps between research and practice.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Codeflaws: a programming competition benchmark for evaluating automated program repair tools.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
Towards Non-invasive Software Measurement System: Architecture and Implementation.
Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Angelix: scalable multiline program patch synthesis via symbolic analysis.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Software Change Contracts.
ACM Trans. Softw. Eng. Methodol., 2015

DirectFix: Looking for Simple Program Repairs.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Dynamic Inference of Change Contracts.
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).
NII Shonan Meet. Rep., 2013

A Case for Dynamic Reverse-code Generation to Debug Non-deterministic Programs.
Proceedings of the Semantics, 2013

Expressing and checking intended changes via software change contracts.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

Past expression: encapsulating pre-states at post-conditions by means of AOP.
Proceedings of the Aspect-Oriented Software Development, 2013

2012
Efficient and formal generalized symbolic execution.
Autom. Softw. Eng., 2012

Software change contracts.
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.
Int. J. Softw. Tools Technol. Transf., 2010

Filtering false alarms of buffer overflow analysis using SMT solvers.
Inf. Softw. Technol., 2010

2006
Dynamic Reverse Code Generation for Backward Execution.
Proceedings of the Workshop on Verification and Debugging, 2006

Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006


  Loading...