| 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 | 317 | 2016 |
| Directfix: Looking for simple program repairs S Mechtaev, J Yi, A Roychoudhury 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 232 | 2015 |
| 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 | 116 | 2006 |
| 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 | 64 | 2017 |
| 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 | 54 | 2017 |
| 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 | 45 | 2010 |
| Efficient and formal generalized symbolic execution X Deng, J Lee Automated Software Engineering 19 (3), 233-301, 2012 | 26 | 2012 |
| 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 | 24 | 2017 |
| 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 | 22 | 2018 |
| 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 | 15 | 2010 |
| Dynamic reverse code generation for backward execution J Lee Electronic Notes in Theoretical Computer Science 174 (4), 37-54, 2007 | 15 | 2007 |
| Software change contracts J Yi, D Qi, SH Tan, A Roychoudhury ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (3), 1-43, 2015 | 13 | 2015 |
| 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 | 11 | 2013 |
| 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 | 8 | 2014 |
| 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 | 7 | 2018 |
| 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 | 7 | 2018 |
| Directfix: Looking for simple program repairs. In 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering S Mechtaev, J Yi, A Roychoudhury IEEE, 2015 | 7 | 2015 |
| Program Validation by Symbolic and Reverse Execution J Lee PhD thesis, BRICS Ph. D. School, Department of Computer Science, University …, 2006 | 6 | 2006 |
| 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 | 5 | 2018 |
| A Case for Dynamic Reverse-code Generation to Debug Non-deterministic Programs J Yi arXiv preprint arXiv:1309.5152, 2013 | 4 | 2013 |
Abhik RoychoudhuryProfessor of Computer Science, National University of SingaporeEmail verificata su comp.nus.edu.sg
