We stand with Ukraine  

Kai Yu

Affiliations:
  • Beihang University, School of Computer Science and Engineering, State Key Laboratory of Software Development Environment, China


According to our database1, Kai Yu authored at least 11 papers between 2009 and 2012.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Towards automated debugging in software evolution: Evaluating delta debugging on real regression bugs from the developers' perspectives.
[BibTeX]
[DOI]
Kai Yu
,
Mengxiang Lin
,
Jin Chen
,
Xiangyu Zhang
J. Syst. Softw., 2012

Practical isolation of failure-inducing changes for debugging regression faults.
[BibTeX]
[DOI]
Kai Yu
,
Mengxiang Lin
,
Jin Chen
,
Xiangyu Zhang
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Towards Practical Debugging for Regression Faults.
[BibTeX]
[DOI]
Kai Yu
,
Mengxiang Lin
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

When a GUI Regression Test Failed, What Should be Blamed?
[BibTeX]
[DOI]
Jin Chen
,
Mengxiang Lin
,
Kai Yu
,
Bing Shao
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

An integrated bug processing framework.
[BibTeX]
[DOI]
Xiangyu Zhang
,
Mengxiang Lin
,
Kai Yu
Proceedings of the 34th International Conference on Software Engineering, 2012

Improving failure-inducing changes identification using coverage analysis.
[BibTeX]
[DOI]
Kai Yu
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Lazy symbolic execution for test data generation.
[BibTeX]
[DOI]
Mengxiang Lin
,
Yin-li Chen
,
Kai Yu
,
Guo-shi Wu
IET Softw., 2011

Locating faults using multiple spectra-specific models.
[BibTeX]
[DOI]
Kai Yu
,
Mengxiang Lin
,
Qing Gao
,
Hui Zhang
,
Xiangyu Zhang
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Achieving High Branch Coverage with Fewer Paths.
[BibTeX]
[DOI]
Yu Dong
,
Mengxiang Lin
,
Kai Yu
,
Yi Zhou
,
Yin-li Chen
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2009
Lazy Symbolic Evaluation and Its Path Constraints Solution.
[BibTeX]
[DOI]
Mengxiang Lin
,
Yin-li Chen
,
Kai Yu
,
Guo-shi Wu
Proceedings of the 4th International Workshop on Automation of Software Test, 2009

Program Sifting: Select Property-Related Functions for Language-Based Static Analysis.
[BibTeX]
[DOI]
Kai Yu
,
Cong Wang
,
Yin-li Chen
,
Mengxiang Lin
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009


  Loading...