Yingfei Xiong - RankMe

162 papers A* 30A 18B 2C 1Journal 75Unranked 34

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages. Proc. ACM Program. Lang. Zhentao Ye, Ruyi Ji, Yingfei Xiong, Xin Zhang
2026	J	`jnl`	LLM-based Vulnerability Detection at Project Scale: An Empirical Study. CoRR Fengjie Li, Jiajun Jiang, Dongchi Chen, Yingfei Xiong
2025	A*	`conf`	Belief Propagation with Local Structure and Its Applications in Program Analysis. ASE Yiqian Wu, Yifan Chen, Yingfei Xiong, Xin Zhang
2025	J	`jnl`	C*: Unifying Programming and Verification in C. CoRR Yiyuan Cao, Jiayi Zhuang, Houjin Chen, Jinkai Fan, Wenbo Xu, Zhiyi Wang, Di Wang, Qinxiang Cao, Yingfei Xiong, Haiyan Zhao, Zhenjiang Hu
2025	J	`jnl`	Condor: A Code Discriminator Integrating General Semantics With Code Details. IEEE Trans. Software Eng. Qingyuan Liang, Zhao Zhang, Chen Liu, Zeyu Sun, Wenjie Zhang, Yizhou Chen, Zixiao Zhao, Qi Luo, Wentao Wang, Yanjie Jiang, Yingfei Xiong, Lu Zhang
2025	J	`jnl`	Effective random test generation for deep learning compilers. Sci. China Inf. Sci. Luyao Ren, Ziheng Wang, Li Zhang, Guoyue Jiang, Yingfei Xiong, Tao Xie
2025	J	`jnl`	Equality Saturation Guided by Large Language Models. CoRR Wentao Peng, Ruyi Ji, Yingfei Xiong
2025	J	`jnl`	GramTrans: A Better Code Representation Approach in Code Generation. CoRR Zhao Zhang, Qingyuan Liang, Zeyu Sun, Yizhou Chen, Guoqing Wang, Yican Sun, Lu Zhang, Ge Li, Yingfei Xiong
2025	—	`conf`	Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs? ACL (Findings) Qingyuan Liang, Zhao Zhang, Zeyu Sun, Zheng Lin, Qi Luo, Yueyi Xiao, Yizhou Chen, Yuqun Zhang, Haotian Zhang, Lu Zhang, Chenbin Chenbin, Yingfei Xiong
2025	J	`jnl`	Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs? CoRR Qingyuan Liang, Zhao Zhang, Zeyu Sun, Zheng Lin, Qi Luo, Yueyi Xiao, Yizhou Chen, Yuqun Zhang, Haotian Zhang, Lu Zhang, Bin Chen, Yingfei Xiong
2025	J	`jnl`	HoarePrompt: Structural Reasoning About Program Correctness in Natural Language. CoRR Dimitrios Stamatios Bouras, Yihan Dai, Tairan Wang, Yingfei Xiong, Sergey Mechtaev
2025	J	`jnl`	Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis. CoRR Zhechong Huang, Zhao Zhang, Ruyi Ji, Tingxuan Xia, Qihao Zhu, Qinxiang Cao, Zeyu Sun, Yingfei Xiong
2025	—	`conf`	Line-level Semantic Structure Learning for Code Vulnerability Detection. Internetware Ziliang Wang, Ge Li, Jia Li, Yihong Dong, Yingfei Xiong, Zhi Jin
2025	J	`jnl`	PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates. CoRR Yuan-an Xiao, Weixuan Wang, Dong Liu, Junwei Zhou, Shengyu Cheng, Yingfei Xiong
2025	J	`jnl`	Proof Strategy Extraction from LLMs for Enhancing Symbolic Provers. CoRR Jian Fang, Yican Sun, Yingfei Xiong
2025	J	`jnl`	SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis. CoRR Yuwei Zhao, Yuan-an Xiao, Qianyu Xiao, Zhao Zhang, Yingfei Xiong
2025	J	`jnl`	SmartFL: Semantics Based Probabilistic Fault Localization. CoRR Yiqian Wu, Yujie Liu, Yi Yin, Muhan Zeng, Zhentao Ye, Xin Zhang, Yingfei Xiong, Lu Zhang
2025	J	`jnl`	SmartFL: Semantics Based Probabilistic Fault Localization. IEEE Trans. Software Eng. Yiqian Wu, Yujie Liu, Yi Yin, Muhan Zeng, Zhentao Ye, Xin Zhang, Yingfei Xiong, Lu Zhang
2025	J	`jnl`	Tunneling through the Hill: Multi-way Intersection for Version-Space Algebras in Program Synthesis. Proc. ACM Program. Lang. Guanlin Chen, Ruyi Ji, Shuhao Zhang, Yingfei Xiong
2025	J	`jnl`	Validity-Preserving Delta Debugging via Generator Trace Reduction. ACM Trans. Softw. Eng. Methodol. Luyao Ren, Xing Zhang, Ziyue Hua, Yanyan Jiang, Xiao He, Yingfei Xiong, Tao Xie
2024	—	`conf`	ASAC: A Benchmark for Algorithm Synthesis. SIGSOFT FSE Companion Zhao Zhang, Yican Sun, Ruyi Ji, Siyuan Li, Xuanyu Peng, Zhechong Huang, Sizhe Li, Tianran Zhu, Yingfei Xiong
2024	J	`jnl`	Accelerating Patch Validation for Program Repair With Interception-Based Execution Scheduling. IEEE Trans. Software Eng. Yuan-an Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong
2024	J	`jnl`	Code Structure-Aware through Line-level Semantic Learning for Code Vulnerability Detection. CoRR Ziliang Wang, Ge Li, Jia Li, Yihong Dong, Yingfei Xiong, Zhi Jin
2024	J	`jnl`	Condor: A Code Discriminator Integrating General Semantics with Code Details. CoRR Qingyuan Liang, Zhao Zhang, Chen Liu, Zeyu Sun, Wenjie Zhang, Yizhou Chen, Zixiao Zhao, Qi Luo, Wentao Wang, Yanjie Jiang, Yingfei Xiong, Lu Zhang
2024	J	`jnl`	Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. ACM Trans. Program. Lang. Syst. Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu
2024	J	`jnl`	DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence. CoRR Daya Guo, Qihao Zhu, Dejian Yang, Zhenda Xie, Kai Dong, Wentao Zhang, Guanting Chen, Xiao Bi, Y. Wu, Y. K. Li, Fuli Luo, Yingfei Xiong, Wenfeng Liang
2024	A*	`conf`	GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code. ICSE Qihao Zhu, Qingyuan Liang, Zeyu Sun, Yingfei Xiong, Lu Zhang, Shengyu Cheng
2024	J	`jnl`	M2CVD: Multi-Model Collaboration for Code Vulnerability Detection. CoRR Ziliang Wang, Ge Li, Jia Li, Meng Yan, Yingfei Xiong, Zhi Jin
2024	—	`conf`	Proving Functional Program Equivalence via Directed Lemma Synthesis. FM (1) Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong
2024	J	`jnl`	Proving Functional Program Equivalence via Directed Lemma Synthesis. CoRR Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong
2024	J	`jnl`	Scoping Software Engineering for AI: The TSE Perspective. IEEE Trans. Software Eng. Sebastián Uchitel, Marsha Chechik, Massimiliano Di Penta, Bram Adams, Nazareno Aguirre, Gabriele Bavota, Domenico Bianculli, Kelly Blincoe, Ana Cavalcanti, Yvonne Dittrich, Filomena Ferrucci, Rashina Hoda, Liguo Huang, David Lo, Michael R. Lyu, Lei Ma, Jonathan I. Maletic, Leonardo Mariani, Collin McMillan, Tim Menzies, Martin Monperrus, Ana Moreno, Nachiappan Nagappan, Liliana Pasquale, Patrizio Pelliccione, Michael Pradel, Rahul Purandare, Sukyoung Ryu, Mehrdad Sabetzadeh, Alexander Serebrenik, Jun Sun, Chakkrit Kla Tantithamthavorn, Christoph Treude, Manuel Wimmer, Yingfei Xiong, Tao Yue, Andy Zaidman, Tao Zhang, Hao Zhong
2024	J	`jnl`	Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. Proc. ACM Program. Lang. Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, Zhenjiang Hu
2024	—	`conf`	The ET Program Repair Tool for Java. APR Yuan-an Xiao, Qihao Zhu, Yingfei Xiong
2023	A	`conf`	A Probabilistic Delta Debugging Approach for Abstract Syntax Trees. ISSRE Guancheng Wang, Yiqian Wu, Qihao Zhu, Yingfei Xiong, Xin Zhang, Lu Zhang
2023	J	`jnl`	Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling. CoRR Yuan-an Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong
2023	J	`jnl`	Effective Random Test Generation for Deep Learning Compilers. CoRR Luyao Ren, Ziheng Wang, Yingfei Xiong, Li Zhang, Guoyue Jiang, Tao Xie
2023	A*	`conf`	ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems. ASE Yuan-an Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong
2023	J	`jnl`	Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. Proc. ACM Program. Lang. Ruyi Ji, Chaozhe Kong, Yingfei Xiong, Zhenjiang Hu
2023	A*	`conf`	OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability. ASE Wenjie Zhang, Guancheng Wang, Junjie Chen, Yingfei Xiong, Yong Liu, Lu Zhang
2023	J	`jnl`	OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability. CoRR Wenjie Zhang, Guancheng Wang, Junjie Chen, Yingfei Xiong, Yong Liu, Lu Zhang
2023	A*	`conf`	Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. ICSE Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie
2023	J	`jnl`	Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. CoRR Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie
2023	J	`jnl`	Synthesizing Efficient Memoization Algorithms. Proc. ACM Program. Lang. Yican Sun, Xuanyu Peng, Yingfei Xiong
2023	A*	`conf`	Tare: Type-Aware Neural Program Repair. ICSE Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang
2022	J	`jnl`	Black-Box Algorithm Synthesis - Divide-and-Conquer and More. CoRR Ruyi Ji, Yingfei Xiong, Zhenjiang Hu
2022	A*	`conf`	Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification. ASE Yunfan Zhang, Ruidong Zhu, Yingfei Xiong, Tao Xie
2022	A*	`conf`	Fault Localization via Efficient Probabilistic Modeling of Program Semantics. ICSE Muhan Zeng, Yiqian Wu, Zhentao Ye, Yingfei Xiong, Xin Zhang, Lu Zhang
2022	A*	`conf`	Generalized Equivariance and Preferential Labeling for GNN Node Classification. AAAI Zeyu Sun, Wenjie Zhang, Lili Mou, Qihao Zhu, Yingfei Xiong, Lu Zhang
2022	A*	`conf`	Grape: Grammar-Preserving Rule Embedding. IJCAI Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang
2022	A*	`conf`	Improving Machine Translation Systems via Isotopic Replacement. ICSE Zeyu Sun, Jie M. Zhang, Yingfei Xiong, Mark Harman, Mike Papadakis, Lu Zhang
2022	J	`jnl`	L2S: A Framework for Synthesizing the Most Probable Program under a Specification. ACM Trans. Softw. Eng. Methodol. Yingfei Xiong, Bo Wang
2022	A*	`conf`	Lyra: A Benchmark for Turducken-Style Code Generation. IJCAI Qingyuan Liang, Zeyu Sun, Qihao Zhu, Wenjie Zhang, Lian Yu, Yingfei Xiong, Lu Zhang
2022	J	`jnl`	Oracle-free repair synthesis for floating-point programs. Proc. ACM Program. Lang. Daming Zou, Yuchen Gu, Yuanfeng Shi, Mingzhe Wang, Yingfei Xiong, Zhendong Su
2022	J	`jnl`	Synthesizing Efficient Dynamic Programming Algorithms. CoRR Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu
2021	A	`conf`	A Large-scale Study on API Misuses in the Wild. ICST Xia Li, Jiajun Jiang, Samuel Benton, Yingfei Xiong, Lingming Zhang
2021	J	`jnl`	A Survey of Compiler Testing. ACM Comput. Surv. Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, Lu Zhang
2021	—	`conf`	A syntax-guided edit decoder for neural program repair. ESEC/SIGSOFT FSE Qihao Zhu, Zeyu Sun, Yuan-an Xiao, Wenjie Zhang, Kang Yuan, Yingfei Xiong, Lu Zhang
2021	B	`conf`	Accelerating Program Analyses in Datalog by Merging Library Facts. SAS Yifan Chen, Chenyang Yang, Xin Zhang, Yingfei Xiong, Hao Tang, Xiaoyin Wang, Lu Zhang
2021	J	`jnl`	An Empirical Study of Fault Localization Families and Their Combinations. IEEE Trans. Software Eng. Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang
2021	J	`jnl`	Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. ACM Trans. Softw. Eng. Methodol. Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury
2021	J	`jnl`	Coverage Prediction for Accelerating Compiler Testing. IEEE Trans. Software Eng. Junjie Chen, Guancheng Wang, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie
2021	J	`jnl`	Dynamic Labeling for Unlabeled Graph Neural Networks. CoRR Zeyu Sun, Wenjie Zhang, Lili Mou, Qihao Zhu, Yingfei Xiong, Lu Zhang
2021	A*	`conf`	Faster Mutation Analysis with Fewer Processes and Smaller Overheads. ASE Bo Wang, Sirui Lu, Yingfei Xiong, Feng Liu
2021	J	`jnl`	Generalizable synthesis through unification. Proc. ACM Program. Lang. Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu
2021	A	`conf`	Interactive Patch Filtering as Debugging Aid. ICSME Jingjing Liang, Ruyi Ji, Jiajun Jiang, Shurui Zhou, Yiling Lou, Yingfei Xiong, Gang Huang
2021	J	`jnl`	Lyra: A Benchmark for Turducken-Style Code Generation. CoRR Qingyuan Liang, Zeyu Sun, Qihao Zhu, Wenjie Zhang, Lian Yu, Yingfei Xiong, Lu Zhang
2021	J	`jnl`	Occam Learning Meets Synthesis Through Unification. CoRR Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu
2021	—	`conf`	Probabilistic Delta debugging. ESEC/SIGSOFT FSE Guancheng Wang, Ruobing Shen, Junjie Chen, Yingfei Xiong, Lu Zhang
2021	J	`jnl`	Syntax Guided Neural Program Repair. CoRR Qihao Zhu, Zeyu Sun, Yuan-an Xiao, Wenjie Zhang, Kang Yuan, Yingfei Xiong, Lu Zhang
2020	J	`jnl`	Detecting floating-point errors via atomic conditions. Proc. ACM Program. Lang. Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, Zhendong Su
2020	—	`conf`	Detecting numerical bugs in neural network architectures. ESEC/SIGSOFT FSE Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie
2020	J	`jnl`	Guiding dynamic programing via structural probability for accelerating programming by example. Proc. ACM Program. Lang. Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu
2020	A	`conf`	How Do Python Framework APIs Evolve? An Exploratory Study. SANER Zhaoxu Zhang, Hengcheng Zhu, Ming Wen, Yida Tao, Yepang Liu, Yingfei Xiong
2020	—	`conf`	How to mitigate the incident? an effective troubleshooting guide recommendation technique for online service systems. ESEC/SIGSOFT FSE Jiajun Jiang, Weihai Lu, Junjie Chen, Qingwei Lin, Pu Zhao, Yu Kang, Hongyu Zhang, Yingfei Xiong, Feng Gao, Zhangwei Xu, Yingnong Dang, Dongmei Zhang
2020	J	`jnl`	Interactive Patch Filtering as Debugging Aid. CoRR Jingjing Liang, Ruyi Ji, Jiajun Jiang, Yiling Lou, Yingfei Xiong, Gang Huang
2020	J	`jnl`	Learning Code Context Information to Predict Comment Locations. IEEE Trans. Reliab. Yuan Huang, Xinyu Hu, Nan Jia, Xiangping Chen, Yingfei Xiong, Zibin Zheng
2020	A*	`conf`	NLocalSAT: Boosting Local Search with Solution Prediction. IJCAI Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang
2020	J	`jnl`	NLocalSAT: Boosting Local Search with Solution Prediction. CoRR Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang
2020	A*	`conf`	OCoR: An Overlapping-Aware Code Retriever. ASE Qihao Zhu, Zeyu Sun, Xiran Liang, Yingfei Xiong, Lu Zhang
2020	J	`jnl`	OCoR: An Overlapping-Aware Code Retriever. CoRR Qihao Zhu, Zeyu Sun, Xiran Liang, Yingfei Xiong, Lu Zhang
2020	A*	`conf`	Question selection for interactive program synthesis. PLDI Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu
2020	—	`conf`	Scaling static taint analysis to industrial SOA applications: a case study at Alibaba. ESEC/SIGSOFT FSE Jie Wang, Yunguang Wu, Gang Zhou, Yiming Yu, Zhenyu Guo, Yingfei Xiong
2020	A*	`conf`	TreeGen: A Tree-Based Transformer Architecture for Code Generation. AAAI Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang
2019	A*	`conf`	A Grammar-Based Structural CNN Decoder for Code Generation. AAAI Zeyu Sun, Qihao Zhu, Lili Mou, Yingfei Xiong, Ge Li, Lu Zhang
2019	J	`jnl`	A manual inspection of Defects4J bugs and its implications for automatic program repair. Sci. China Inf. Sci. Jiajun Jiang, Yingfei Xiong, Xin Xia
2019	J	`jnl`	Automated program repair: a step towards software automation. Sci. China Inf. Sci. Abhik Roychoudhury, Yingfei Xiong
2019	A*	`conf`	Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study. ASE Jiajun Jiang, Ran Wang, Yingfei Xiong, Xiangping Chen, Lu Zhang
2019	A*	`conf`	History-Guided Configuration Diversification for Compiler Test-Program Generation. ASE Junjie Chen, Guancheng Wang, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang
2019	A	`conf`	How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects. ISSRE Jingjing Liang, Yaozong Hou, Shurui Zhou, Junjie Chen, Yingfei Xiong, Gang Huang
2019	A*	`conf`	Inferring Program Transformations From Singular Examples via Big Code. ASE Jiajun Jiang, Luyao Ren, Yingfei Xiong, Lingming Zhang
2019	J	`jnl`	Programming Situational Mobile Web Applications with Cloud-Mobile Convergence: An Internetware-Oriented Approach. IEEE Trans. Serv. Comput. Gang Huang, Xuanzhe Liu, Yun Ma, Xuan Lu, Ying Zhang, Yingfei Xiong
2019	J	`jnl`	TreeGen: A Tree-Based Transformer Architecture for Code Generation. CoRR Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang
2018	J	`jnl`	A Grammar-Based Structural CNN Decoder for Code Generation. CoRR Zeyu Sun, Qihao Zhu, Lili Mou, Yingfei Xiong, Ge Li, Lu Zhang
2018	J	`jnl`	An Empirical Study of Fault Localization Families and Their Combinations. CoRR Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang
2018	A	`conf`	An empirical study on TensorFlow program bugs. ISSTA Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang
2018	A	`conf`	Automatic Clone Recommendation for Refactoring Based on the Present and the Past. ICSME Ruru Yue, Zhe Gao, Na Meng, Yingfei Xiong, Xiaoyin Wang, J. David Morgenthaler
2018	J	`jnl`	Automatic Clone Recommendation for Refactoring Based on the Present and the Past. CoRR Ruru Yue, Zhe Gao, Na Meng, Yingfei Xiong, Xiaoyin Wang, J. David Morgenthaler
2018	—	`conf`	Guiding developers to make informative commenting decisions in source code. ICSE (Companion Volume) Yuan Huang, Nan Jia, Qiang Zhou, Xiangping Chen, Yingfei Xiong, Xiaonan Luo
2018	A*	`conf`	Identifying features in forks. ICSE Shurui Zhou, Stefan Stanciulescu, Olaf Leßenich, Yingfei Xiong, Andrzej Wasowski, Christian Kästner
2018	A*	`conf`	Identifying patch correctness in test-based program repair. ICSE Yingfei Xiong, Xinyuan Liu, Muhan Zeng, Lu Zhang, Gang Huang
2018	J	`jnl`	Learning to Synthesize. CoRR Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang
2018	—	`conf`	Learning to synthesize. GI@ICSE Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang
2018	A	`conf`	Shaping program repair space with existing patches and similar code. ISSTA Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen
2018	—	`ed.`	Software Analysis, Testing, and Evolution - 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings SATE Lei Bu, Yingfei Xiong
2017	J	`jnl`	Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J. CoRR Jiajun Jiang, Yingfei Xiong
2017	A	`conf`	Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization. ESOP Hao Tang, Di Wang, Yingfei Xiong, Lingming Zhang, Xiaoyin Wang, Lu Zhang
2017	J	`jnl`	Faster Mutation Analysis via Equivalence Modulo States. CoRR Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao
2017	A	`conf`	Faster mutation analysis via equivalence modulo states. ISSTA Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao
2017	J	`jnl`	Goal Modelling for Security Problem Matching and Pattern Enforcement. Int. J. Secur. Softw. Eng. Yijun Yu, Haruhiko Kaiya, Nobukazu Yoshioka, Zhenjiang Hu, Hironori Washizaki, Yingfei Xiong, Amin Hosseinian Far
2017	J	`jnl`	Identifying Patch Correctness in Test-Based Automatic Program Repair. CoRR Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, Gang Huang
2017	A*	`conf`	Learning to prioritize test programs for compiler testing. ICSE Junjie Chen, Yanwei Bai, Dan Hao, Yingfei Xiong, Hongyu Zhang, Bing Xie
2017	A	`conf`	Mining Version Control System for Automatically Generating Commit Comment. ESEM Yuan Huang, Qiaoyang Zheng, Xiangping Chen, Yingfei Xiong, Zhiyong Liu, Xiaonan Luo
2017	A*	`conf`	Precise condition synthesis for program repair. ICSE Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang
2017	—	`ed.`	Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume A, Sevilla, Spain, September 25-29, 2017 SPLC (A) Myra B. Cohen, Mathieu Acher, Lidia Fuentes, Daniel Schall, Jan Bosch, Rafael Capilla, Ebrahim Bagheri, Yingfei Xiong, Javier Troya, Antonio Ruiz Cortés, David Benavides
2017	—	`conf`	Un-preprocessing: Extended CPP that works with your tools. Internetware Yufeng Cheng, Meng Wang, Yingfei Xiong, Zhengkai Wu, Yiming Wu, Lu Zhang
2016	A*	`conf`	An empirical comparison of compiler testing techniques. ICSE Junjie Chen, Wenxiang Hu, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie
2016	J	`jnl`	Bidirectional Transformations, (NII Shonan Meeting 2016-13). NII Shonan Meet. Rep. Anthony Anjorin, Zinovy Diskin, Meng Wang, Yingfei Xiong
2016	—	`conf`	Detecting and fixing precision-specific operations for measuring floating-point errors. SIGSOFT FSE Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong, Lu Zhang, Gang Huang
2016	A	`conf`	Empirical Evaluation of Test Coverage for Functional Programs. ICST Yufeng Cheng, Meng Wang, Yingfei Xiong, Dan Hao, Lu Zhang
2016	J	`jnl`	High-confidence software evolution. Sci. China Inf. Sci. Qing Gao, Jun Li, Yingfei Xiong, Dan Hao, Xusheng Xiao, Kunal Taneja, Lu Zhang, Tao Xie
2016	J	`jnl`	Precise Condition Synthesis for Program Repair. CoRR Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang
2016	A	`conf`	Test Case Prioritization for Compilers: A Text-Vector Based Approach. ICST Junjie Chen, Yanwei Bai, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie
2016	A	`conf`	Transforming Programs between APIs with Many-to-Many Mappings. ECOOP Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu
2015	—	`conf`	A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. ICSE (1) Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei
2015	A*	`conf`	Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T). ASE Qing Gao, Hansheng Zhang, Jie Wang, Yingfei Xiong, Lu Zhang, Hong Mei
2015	—	`conf`	Inner oracles: input-specific assertions on internal states. ESEC/SIGSOFT FSE Yingfei Xiong, Dan Hao, Lu Zhang, Tao Zhu, Muyao Zhu, Tian Lan
2015	J	`jnl`	Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel
2015	J	`jnl`	Range Fixes: Interactive Error Resolution for Software Configuration. IEEE Trans. Software Eng. Yingfei Xiong, Hansheng Zhang, Arnaud Hubaux, Steven She, Jie Wang, Krzysztof Czarnecki
2015	C	`conf`	SWIN: Towards Type-Safe Java Program Adaptation between APIs. PEPM Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu
2015	—	`conf`	Safe Memory-Leak Fixing for C Programs. ICSE (1) Qing Gao, Yingfei Xiong, Yaqing Mi, Lu Zhang, Weikun Yang, Zhaoping Zhou, Bing Xie, Hong Mei
2014	J	`jnl`	A case study on consistency management of business and IT process models in banking. Softw. Syst. Model. Moisés Castelo Branco, Yingfei Xiong, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer
2014	A	`conf`	Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis. ICSME Chu-Pan Wong, Yingfei Xiong, Hongyu Zhang, Dan Hao, Lu Zhang, Hong Mei
2014	J	`jnl`	Cooperative Software Testing and Analysis: Advances and Challenges. J. Comput. Sci. Technol. Tao Xie, Lu Zhang, Xusheng Xiao, Yingfei Xiong, Dan Hao
2014	J	`jnl`	Interactive Inconsistency Fixing in Feature Modeling. J. Comput. Sci. Technol. Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
2014	—	`conf`	Model defined fault tolerance in cloud. Internetware Yihan Wu, Hui Song, Yingfei Xiong, Zibin Zheng, Ying Zhang, Gang Huang
2014	A*	`conf`	Search-based inference of polynomial metamorphic relations. ASE Jie Zhang, Junjie Chen, Dan Hao, Yingfei Xiong, Bing Xie, Lu Zhang, Hong Mei
2013	A	`conf`	How Does Web Service API Evolution Affect Clients? ICWS Jun Li, Yingfei Xiong, Xuanzhe Liu, Lu Zhang
2013	B	`conf`	SmartFixer: fixing software configurations based on dynamic priorities. SPLC Bo Wang, Leonardo Teixeira Passos, Yingfei Xiong, Krzysztof Czarnecki, Haiyan Zhao, Wei Zhang
2013	J	`jnl`	Supporting feature model refinement with updatable view. Frontiers Comput. Sci. Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong, Wei Zhang, Hong Mei
2013	J	`jnl`	Synchronizing concurrent model updates based on bidirectional transformation. Softw. Syst. Model. Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
2013	—	`conf`	Towards RSA-based HA configuration in Cloud. [email protected] Yihan Wu, Ying Zhang, Yingfei Xiong, Xiaodong Zhang, Gang Huang
2012	—	`conf`	A user survey of configuration challenges in Linux and eCos. VaMoS Arnaud Hubaux, Yingfei Xiong, Krzysztof Czarnecki
2012	—	`conf`	Automating presentation changes in dynamic web applications via collaborative hybrid analysis. SIGSOFT FSE Xiaoyin Wang, Lu Zhang, Tao Xie, Yingfei Xiong, Hong Mei
2012	A*	`conf`	Generating range fixes for software configuration. ICSE Yingfei Xiong, Arnaud Hubaux, Steven She, Krzysztof Czarnecki
2012	—	`conf`	Inferring the data access from the clients of generic APIs. ICSM Hui Song, Gang Huang, Yingfei Xiong, Yanchun Sun
2011	—	`conf`	A study of non-Boolean constraints in variability models of an embedded operating system. SPLC Workshops Leonardo Teixeira Passos, Thorsten Berger, Marko Novakovic, Krzysztof Czarnecki, Yingfei Xiong, Andrzej Wasowski
2011	A	`conf`	Correctness of Model Synchronization Based on Triple Graph Grammars. MoDELS Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong
2011	A	`conf`	From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. MoDELS Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas
2011	J	`jnl`	From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case. J. Object Technol. Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki
2011	J	`jnl`	Supporting runtime software architecture: A bidirectional-transformation-based approach. J. Syst. Softw. Hui Song, Gang Huang, Franck Chauvel, Yingfei Xiong, Zhenjiang Hu, Yanchun Sun, Hong Mei
2010	—	`conf`	A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. MoDELS (1) Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
2010	—	`conf`	Effective collaboration and consistency management in business process modeling. CASCON Moisés Castelo Branco, Yingfei Xiong, Krzysztof Czarnecki, Janette Wong, Alex Lau
2010	—	`conf`	From State- to Delta-Based Bidirectional Model Transformations. ICMT@TOOLS Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki
2010	—	`conf`	Inferring Meta-models for Runtime System Data from the Clients of Management APIs. MoDELS (2) Hui Song, Gang Huang, Yingfei Xiong, Franck Chauvel, Yanchun Sun, Hong Mei
2010	—	`conf`	Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. MoDELS (Workshops) Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki
2010	—	`conf`	Specifying overlaps of heterogeneous models for global consistency checking. MDI@MoDELS Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki
2010	—	`conf`	Tolerating Inconsistency in Feature Models. LWI@ASE Bo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei
2009	—	`conf`	Generating Synchronization Engines between Running Systems and Their Model-Based Views. MoDELS (Workshops) Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei
2009	—	`conf`	Supporting Parallel Updates with Bidirectional Model Transformations. ICMT@TOOLS Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
2009	—	`conf`	Supporting automatic model inconsistency fixing. ESEC/SIGSOFT FSE Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei
2008	—	`conf`	Enforcing a security pattern in stakeholder goal models. QoP Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Nobukazu Yoshioka
2007	A*	`conf`	Towards automatic model synchronization from model transformations. ASE Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei