CloudSeer: Workflow Monitoring of Cloud Infrastructures via Interleaved Logs (doi, PDF)
Xiao Yu, Pallavi Joshi, Jianwu Xu, Guoliang Jin, Hui Zhang, and Guofei Jiang
21st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’16).
Comprehending Performance from Real-World Execution Traces: A Device-Driver Case (doi, PDF)
Xiao Yu, Shi Han, Dongmei Zhang, and Tao Xie
19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’14).
AT-EASE: A Tool for Early and Quick Usability Evaluation of Smartphone Applications (PDF)
Wei Yang and Xiao Yu
Technical Report, 2013.
A Parallel Approach to Concolic Testing with Low-Cost Synchronization (doi)
Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, and Zheng Wang
Electronic Notes in Theoretical Computer Science, Special Issue on 4th International Workshop on Harnessing Theories for Tool Support in Software (TTSS’10), 2011.
Run-time Discovery of Java Design Patterns (doi)
Kang Miao, Xiao Yu, Siyuan Jiang, and Ji Zhao
2nd International Conference on Artificial Intelligence, Management Science and Electronic Commerce (AIMSEC’11).
Java Design Pattern Recognition Based on Relational Calculus (doi, in Chinese)
Kang Miao, Xiao Yu, Ji Zhao, and Yu Shen
Application Research of Computers, 2010.
Property Checking for Design Patterns (doi)
Libo Feng, Xiao Yu, Geguang Pu, Huibiao Zhu, and Bin Gu
2010 IASTED International Conference on Software Engineering (SE’10).
Towards Scalable Compositional Test Generation (doi)
Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, and Bin Gu
9th International Conference on Quality Software (QISC’09).
Test Data Generation for Derived Types in C Program (doi)
Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, and JueLiang Hu
3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE’09).
Execution Semantics for rCOS (doi)
Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, and Jifeng He
15th Asia-Pacific Software Engineering Conference (APSEC’08).
The Verification of rCOS Using Spin (doi)
Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, and Jing Liu
Electronic Notes in Theoretical Computer Science, Special Issue on 1st International Workshop on Harnessing Theories for Tool Support in Software (TTSS’07), 2008.