| 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 | 564 | 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 | 334 | 2015 |
| 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 | 141 | 2017 |
| 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 | 123 | 2006 |
| 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 | 119 | 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 | 56 | 2018 |
| 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 | 56 | 2010 |
| 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 | 42 | 2017 |
| Efficient and formal generalized symbolic execution X Deng, J Lee, Robby Automated Software Engineering 19, 233-301, 2012 | 32 | 2012 |
| 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 | 19 | 2022 |
| 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 | 19 | 2010 |
| Software change contracts J Yi, D Qi, SH Tan, A Roychoudhury ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (3), 1-43, 2015 | 18 | 2015 |
| 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 | 16 | 2018 |
| Dynamic reverse code generation for backward execution J Lee Electronic Notes in Theoretical Computer Science 174 (4), 37-54, 2007 | 16 | 2007 |
| 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 | 15 | 2018 |
| 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 | 13 | 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 | 11 | 2014 |
| 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 | 9 | 2018 |
| 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 | 8 | 2018 |
| Toward a better understanding of how to develop software under stress-drafting the lines for future research JA Brown, V Ivanov, A Rogers, G Succi, A Tormasov, J Yi arXiv preprint arXiv:1804.09044, 2018 | 8 | 2018 |
Abhik RoychoudhuryProfessor of Computer Science, National University of SingaporeVerified email at comp.nus.edu.sg
