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