Kaituo Li

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 1

Top Topics

Fault Detection

Constraint Satisfaction

Detection Scheme

Top Venues

ACM Trans. Softw. Eng. Methodol.

Software Engineering & Management

Publications

Shuai Li, Xiaofeng Zhou, Fucheng Pan, Haibo Shi, Kaituo Li, Zhongwei Wang
Correlated and weakly correlated fault detection based on variable division and ICA. Comput. Ind. Eng. 112 (2017)
Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
Residual Investigation: Predictive and Precise Bug Detection. Software Engineering & Management (2015)
Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
Residual Investigation: Predictive and Precise Bug Detection. ACM Trans. Softw. Eng. Methodol. 24 (2) (2014)
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young
Second-Order Constraints in Dynamic Invariant Inference. Software Engineering (2014)
Kaituo Li, Pallavi Joshi, Aarti Gupta, Malay K. Ganai
ReproLite: A Lightweight Tool to Quickly Reproduce Hard System Bugs. SoCC (2014)
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young
Second-order constraints in dynamic invariant inference. ESEC/SIGSOFT FSE (2013)
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, Christoph Csallner
SEDGE: Symbolic example data generation for dataflow programs. ASE (2013)
Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
Residual investigation: predictive and precise bug detection. ISSTA (2012)
Kaituo Li, Dan Zhang, De-ren Chen
Exposure Time Change Attack on Image Watermarking Systems. IWDW (2008)