Semfix: Program repair via semantic analysis HDT Nguyen, D Qi, A Roychoudhury, S Chandra 2013 35th International Conference on Software Engineering (ICSE), 772-781, 2013 | 837 | 2013 |
Darwin: An approach to debugging evolving programs D Qi, A Roychoudhury, Z Liang, K Vaswani ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (3), 1-29, 2012 | 147 | 2012 |
Test generation to expose changes in evolving programs D Qi, A Roychoudhury, Z Liang Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010 | 78 | 2010 |
Path exploration based on symbolic output D Qi, HDT Nguyen, A Roychoudhury ESEC/FSE 11, 278-288, 2011 | 69 | 2011 |
Modeling software execution environment D Qi, WN Sumner, F Qin, M Zheng, X Zhang, A Roychoudhury 2012 19th Working Conference on Reverse Engineering, 415-424, 2012 | 26 | 2012 |
Software change contracts J Yi, D Qi, SH Tan, A Roychoudhury ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (3), 1-43, 2015 | 19 | 2015 |
Expressing and Checking Intended Changes via Software Change Contracts J Yi, D Qi, SH Tan, A Roychoudhury | 14* | |
Locating failure-inducing environment changes D Qi, MN Ngo, T Sun, A Roychoudhury Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2011 | 2 | 2011 |