Kaituo Li

According to our database, Kaituo Li authored at least 6 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Correlated and weakly correlated fault detection based on variable division and ICA.

Shuai Li, Xiaofeng Zhou, Fucheng Pan, Haibo Shi, Kaituo Li, Zhongwei Wang

Comput. Ind. Eng., 2017

2014

ReproLite: A Lightweight Tool to Quickly Reproduce Hard System Bugs.

Kaituo Li, Pallavi Joshi, Aarti Gupta, Malay K. Ganai

Proceedings of the ACM Symposium on Cloud Computing, 2014

2013

Second-order constraints in dynamic invariant inference.

Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

SEDGE: Symbolic example data generation for dataflow programs.

Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, Christoph Csallner

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

Residual investigation: predictive and precise bug detection.

Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis

Proceedings of the International Symposium on Software Testing and Analysis, 2012

2008

Exposure Time Change Attack on Image Watermarking Systems.

Kaituo Li, Dan Zhang, Deren Chen

Proceedings of the Digital Watermarking, 7th International Workshop, 2008