Exposure Time Change Attack on Image Watermarking Systems. - Kaituo Li; Dan Zhang; Deren Chen (IWDW, 2008)

SEDGE: Symbolic example data generation for dataflow programs. - Kaituo Li; Christoph Reichenbach; Yannis Smaragdakis; Yanlei Diao; Christoph Csallner (ASE, 2013)

ReproLite: A Lightweight Tool to Quickly Reproduce Hard System Bugs. - Kaituo Li; Pallavi Joshi; Aarti Gupta; Malay K. Ganai (SoCC, 2014)

Second-Order Constraints in Dynamic Invariant Inference. - Kaituo Li; Christoph Reichenbach; Yannis Smaragdakis; Michal Young (Software Engineering, 2014)

Residual Investigation: Predictive and Precise Bug Detection. - Kaituo Li; Christoph Reichenbach; Christoph Csallner; Yannis Smaragdakis (ACM Trans. Softw. Eng. Methodol., 2014)

Correlated and weakly correlated fault detection based on variable division and ICA. - Shuai Li 003; Xiaofeng Zhou 001; Fucheng Pan; Haibo Shi; Kaituo Li; Zhongwei Wang (Comput. Ind. Eng., 2017)