Follow
Jooyong Yi
Jooyong Yi
UNIST (Ulsan National Institute of Science and Technology)
Verified email at unist.ac.kr - Homepage
Title
Cited by
Cited by
Year
Angelix: Scalable multiline program patch synthesis via symbolic analysis
S Mechtaev, J Yi, A Roychoudhury
Proceedings of the 38th international conference on software engineering …, 2016
6522016
Directfix: Looking for simple program repairs
S Mechtaev, J Yi, A Roychoudhury
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
3532015
Codeflaws: a programming competition benchmark for evaluating automated program repair tools
SH Tan, J Yi, S Mechtaev, A Roychoudhury
2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017
1692017
A feasibility study of using automated program repair for introductory programming assignments
J Yi, UZ Ahmed, A Karkare, SH Tan, A Roychoudhury
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
1422017
Bogor/kiasan: A k-bounded symbolic execution for checking strong heap properties of open systems
X Deng, J Lee
21st IEEE/ACM International Conference on Automated Software Engineering …, 2006
1292006
A Correlation Study between Automated Program Repair and Test-Suite Metrics
J Yi, SH Tan, S Mechtaev, M Böhme, A Roychoudhury
Empirical Software Engineering 23 (5), 2948-2979, 2018
652018
Filtering false alarms of buffer overflow analysis using SMT solvers
Y Kim, J Lee, H Han, KM Choe
Information and Software Technology 52 (2), 210-219, 2010
632010
What do software engineers care about? gaps between research and practice
V Ivanov, A Rogers, G Succi, J Yi, V Zorin
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
462017
Efficient and formal generalized symbolic execution
X Deng, J Lee, Robby
Automated Software Engineering 19, 233-301, 2012
352012
Verifix: Verified repair of programming assignments
UZ Ahmed, Z Fan, J Yi, OI Al-Bataineh, A Roychoudhury
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-31, 2022
332022
Software change contracts
J Yi, D Qi, SH Tan, A Roychoudhury
ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (3), 1-43, 2015
192015
Towards an industrial grade IVE for Java and next generation research platform for JML
P Chalin, Robby, PR James, J Lee, G Karabotsos
International journal on software tools for technology transfer 12, 429-446, 2010
192010
Design and validation of precooked developer dashboards
V Ivanov, V Pischulin, A Rogers, G Succi, J Yi, V Zorin
Proceedings of the 2018 26th ACM joint meeting on European software …, 2018
162018
Understanding the impact of pair programming on the minds of developers
S Busechian, V Ivanov, A Rogers, I Sirazitdinov, G Succi, A Tormasov, J Yi
Proceedings of the 40th International Conference on Software Engineering …, 2018
152018
Expressing and checking intended changes via software change contracts
J Yi, D Qi, SH Tan, A Roychoudhury
Proceedings of the 2013 International Symposium on Software Testing and …, 2013
142013
Dynamic reverse code generation for backward execution
J Lee
Electronic Notes in Theoretical Computer Science 174 (4), 37-54, 2007
142007
Speeding up constraint-based program repair using a search-based technique
J Yi, E Ismayilzada
Information and Software Technology 146, 106865, 2022
122022
Dynamic inference of change contracts
TDB Le, J Yi, D Lo, F Thung, A Roychoudhury
2014 IEEE International Conference on Software Maintenance and Evolution …, 2014
112014
Precooked developer dashboards: What to show and how to use
V Ivanov, A Rogers, G Succi, J Yi, V Zorin
Proceedings of the 40th International Conference on Software Engineering …, 2018
102018
A new architecture and implementation strategy for non-invasive software measurement systems
A Bykov, V Ivanov, A Rogers, A Shunevich, A Sillitti, G Succi, A Tormasov, ...
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1832-1839, 2018
102018
The system can't perform the operation now. Try again later.
Articles 1–20