Kai Yu

11 papers A* 3A 2C 1Misc 1Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2012 A* conf
An integrated bug processing framework.
ICSE
Xiangyu Zhang, Mengxiang Lin, Kai Yu
2012 A* conf
Improving failure-inducing changes identification using coverage analysis.
ICSE
Kai Yu
2012 A* conf
Practical isolation of failure-inducing changes for debugging regression faults.
ASE
Kai Yu, Mengxiang Lin, Jin Chen, Xiangyu Zhang
2012 A conf
Towards Practical Debugging for Regression Faults.
ICST
Kai Yu, Mengxiang Lin
2012 J jnl
Towards automated debugging in software evolution: Evaluating delta debugging on real regression bugs from the developers' perspectives.
J. Syst. Softw.
Kai Yu, Mengxiang Lin, Jin Chen, Xiangyu Zhang
2012 A conf
When a GUI Regression Test Failed, What Should be Blamed?
ICST
Jin Chen, Mengxiang Lin, Kai Yu, Bing Shao
2011 — conf
Achieving High Branch Coverage with Fewer Paths.
COMPSAC Workshops
Yu Dong, Mengxiang Lin, Kai Yu, Yi Zhou, Yin-li Chen
2011 J jnl
Lazy symbolic execution for test data generation.
IET Softw.
Mengxiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu
2011 Misc conf
Locating faults using multiple spectra-specific models.
SAC
Kai Yu, Mengxiang Lin, Qing Gao, Hui Zhang, Xiangyu Zhang
2009 — conf
Lazy Symbolic Evaluation and Its Path Constraints Solution.
AST@ICSE
Mengxiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu
2009 C conf
Program Sifting: Select Property-Related Functions for Language-Based Static Analysis.
APSEC
Kai Yu, Cong Wang, Yin-li Chen, Mengxiang Lin
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling