Follow
Jooyong Yi
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
4552016
Directfix: Looking for simple program repairs
S Mechtaev, J Yi, A Roychoudhury
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
2912015
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
1242006
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
1032017
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
812017
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
542010
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
452018
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
322017
Efficient and formal generalized symbolic execution
X Deng, J Lee
Automated Software Engineering 19 (3), 233-301, 2012
302012
Towards an industrial grade IVE for Java and next generation research platform for JML
P Chalin, PR James, J Lee, G Karabotsos
International journal on software tools for technology transfer 12 (6), 429-446, 2010
192010
Dynamic reverse code generation for backward execution
J Lee
Electronic Notes in Theoretical Computer Science 174 (4), 37-54, 2007
152007
Software change contracts
J Yi, D Qi, SH Tan, A Roychoudhury
ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (3), 1-43, 2015
142015
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
2018 IEEE/ACM 40th International Conference on Software Engineering: New …, 2018
132018
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
122018
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
112013
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
102014
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
82018
Program Validation by Symbolic and Reverse Execution
J Lee
PhD thesis, BRICS Ph. D. School, Department of Computer Science, University …, 2006
62006
Mining plausible hypotheses from the literature via meta-analysis
J Yi, V Ivanov, G Succi
2019 IEEE/ACM 41st International Conference on Software Engineering: New …, 2019
52019
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
52018
The system can't perform the operation now. Try again later.
Articles 1–20