Residual investigation: Predictive and precise bug detection K Li, C Reichenbach, C Csallner, Y Smaragdakis ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (2), 1-32, 2014 | 33 | 2014 |
SEDGE: Symbolic example data generation for dataflow programs K Li, C Reichenbach, Y Smaragdakis, Y Diao, C Csallner 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 30 | 2013 |
Reprolite: A lightweight tool to quickly reproduce hard system bugs K Li, P Joshi, A Gupta, MK Ganai Proceedings of the ACM symposium on cloud computing, 1-13, 2014 | 18 | 2014 |
Second-order constraints in dynamic invariant inference K Li, C Reichenbach, Y Smaragdakis, M Young Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 14 | 2013 |
Combining Static and Dynamic Analysis for Bug Detection and Program Understanding K Li | 5 | 2016 |
Exposure time change attack on image watermarking systems K Li, D Zhang, D Chen Digital Watermarking: 7th International Workshop, IWDW 2008, Busan, Korea …, 2009 | 2 | 2009 |