フォロー
Kaituo Li
Kaituo Li
確認したメール アドレス: amazon.com - ホームページ
タイトル
引用先
引用先
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
302014
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
282013
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
182014
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
142013
Combining Static and Dynamic Analysis for Bug Detection and Program Understanding
K Li
52016
Exposure time change attack on image watermarking systems
K Li, D Zhang, D Chen
Digital Watermarking: 7th International Workshop, IWDW 2008, Busan, Korea …, 2009
22009
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–6