Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. - Xianghua Deng; Jooyong Lee; Robby (ASE, 2006)

Dynamic Reverse Code Generation for Backward Execution. - Jooyong Lee (V&D@FLoC, 2006)

Filtering false alarms of buffer overflow analysis using SMT solvers. - Youil Kim; Jooyong Lee; Hwansoo Han; Kwang-Moo Choe (Inf. Softw. Technol., 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)

Software change contracts. - Dawei Qi; Jooyong Yi; Abhik Roychoudhury (SIGSOFT FSE, 2012)

Efficient and formal generalized symbolic execution. - Xianghua Deng; Jooyong Lee; Robby (Autom. Softw. Eng., 2012)

Past expression: encapsulating pre-states at post-conditions by means of AOP. - Jooyong Yi; Robby; Xianghua Deng; Abhik Roychoudhury (AOSD, 2013)

Expressing and checking intended changes via software change contracts. - Jooyong Yi; Dawei Qi; Shin Hwei Tan; Abhik Roychoudhury (ISSTA, 2013)

A Case for Dynamic Reverse-code Generation to Debug Non-deterministic Programs. - Jooyong Yi (Festschrift for Dave Schmidt, 2013)

The Java Modeling Language (JML) (NII Shonan Meeting 2013-3). - Gary T. Leavens; Peter H. Schmitt; Jooyong Yi (NII Shonan Meet. Rep., 2013)

Dynamic Inference of Change Contracts. - Tien-Duy B. Le; Jooyong Yi; David Lo 001; Ferdian Thung; Abhik Roychoudhury (ICSME, 2014)

DirectFix: Looking for Simple Program Repairs. - Sergey Mechtaev; Jooyong Yi; Abhik Roychoudhury (ICSE (1), 2015)

Software Change Contracts. - Jooyong Yi; Dawei Qi; Shin Hwei Tan; Abhik Roychoudhury (ACM Trans. Softw. Eng. Methodol., 2015)

Angelix: scalable multiline program patch synthesis via symbolic analysis. - Sergey Mechtaev; Jooyong Yi; Abhik Roychoudhury (ICSE, 2016)

Towards Non-invasive Software Measurement System: Architecture and Implementation. - Anton Bykov; Vladimir Ivanov 001; Marat Mingazov; Alan Rogers; Alexandr Shunevich; Alberto Sillitti; Giancarlo Succi; Alexander Tormasov; Jooyong Yi; Albert Zabirov; Denis Zaplatnikov (SEDA, 2016)

Codeflaws: a programming competition benchmark for evaluating automated program repair tools. - Shin Hwei Tan; Jooyong Yi; Yulis; Sergey Mechtaev; Abhik Roychoudhury (ICSE (Companion Volume), 2017)

What do software engineers care about? gaps between research and practice. - Vladimir Ivanov 001; Alan Rogers; Giancarlo Succi; Jooyong Yi; Vasilii Zorin (ESEC/SIGSOFT FSE, 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 (ESEC/SIGSOFT FSE, 2017)

Toward a Better Understanding of How to Develop Software Under Stress - Drafting the Lines for Future Research. - Joseph Alexander Brown; Vladimir Ivanov 001; Alan Rogers; Giancarlo Succi; Alexander Tormasov; Jooyong Yi (ENASE, 2018)

Teaching Programming and Design-by-Contract. - Daniel de Carvalho; Rasheed Hussain; Adil Khan 001; Mansur Khazeev; Jooyong Lee; Sergey Masyagin; Manuel Mazzara; Ruslan Mustafin; Alexandr Naumchev; Victor Rivera (ICL (1), 2018)

Understanding the impact of pair programming on the minds of developers. - Sara Busechian; Vladimir Ivanov 001; Alan Rogers; Ilyas Sirazitdinov; Giancarlo Succi; Alexander Tormasov; Jooyong Yi (ICSE (NIER), 2018)

Precooked developer dashboards: what to show and how to use. - Vladimir Ivanov 001; Alan Rogers; Giancarlo Succi; Jooyong Yi; Vasilii Zorin (ICSE (Companion Volume), 2018)

A new architecture and implementation strategy for non-invasive software measurement systems. - Anton Bykov; Vladimir Ivanov 001; Alan Rogers; Alexandr Shunevich; Alberto Sillitti; Giancarlo Succi; Alexander Tormasov; Jooyong Yi; Albert Zabirov; Denis Zaplatnikov (SAC, 2018)

Comparison of Agile, Quasi-Agile and Traditional Methodologies. - Vladimir Ivanov 001; Sergey Masyagin; Alan Rogers; Giancarlo Succi; Alexander Tormasov; Jooyong Yi; Vasily Zorin (SEDA, 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 (SEDA, 2018)

On the Time Performance of Automated Fixes. - Jooyong Yi (SEDA, 2018)

Design and validation of precooked developer dashboards. - Vladimir Ivanov 001; Vladislav Pischulin; Alan Rogers; Giancarlo Succi; Jooyong Yi; Vasilii Zorin (ESEC/SIGSOFT FSE, 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)

Mining plausible hypotheses from the literature via meta-analysis. - Jooyong Yi; Vladimir Ivanov 001; Giancarlo Succi (ICSE (NIER), 2019)

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)

Speeding up constraint-based program repair using a search-based technique. - Jooyong Yi; Elkhan Ismayilzada (Inf. Softw. Technol., 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)

Automated Program Repair from Fuzzing Perspective. - Youngjae Kim; Seungheon Han; Askar Yeltayuly Khamit; Jooyong Yi (ISSTA, 2023)

BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++. - Gabin An; Minhyuk Kwon; Kyunghwa Choi; Jooyong Yi; Shin Yoo (ASE, 2023)

Leakpair: Proactive Repairing of Memory Leaks in Single Page Web Applications. - Arooba Shahoor; Askar Yeltayuly Khamit; Jooyong Yi; Dongsun Kim 001 (ASE, 2023)

Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs. - Arooba Shahoor; Jooyong Yi; Dongsun Kim 001 (ISSTA, 2024)

Enhancing the Efficiency of Automated Program Repair via Greybox Analysis. - Youngjae Kim; Yechan Park; Seungheon Han; Jooyong Yi (ASE, 2024)

Poracle: Testing Patches under Preservation Conditions to Combat the Overfitting Problem of Program Repair. - Elkhan Ismayilzada; Md Mazba Ur Rahman; Dongsun Kim 001; Jooyong Yi (ACM Trans. Softw. Eng. Methodol., 2024)

Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries. - Sehoon Kim; Yonghyeon Kim; Dahyeon Park; Yuseok Jeon; Jooyong Yi; Mijung Kim (ICSE, 2025)

Proactive Debugging of Memory Leakage Bugs in Single Page Web Applications. - Arooba Shahoor; Satbek Abdyldayev; Hyeongi Hong; Jooyong Yi; Dongsun Kim 001 (IEEE Trans. Software Eng., 2025)