default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYingfei Xiong 0001
Person information
- affiliation: Peking University, Department of Computer Science and Technology, Beijing, China
- affiliation (2009 - 2011): University of Waterloo, ON, Canada
- affiliation (PhD 2009): University of Tokyo, Japan
Other persons with the same name
- Yingfei Xiong
- Yingfei Xiong 0002 — Chinese Academy of Sciences, Shenzhen Institutes of Advanced Technology, Center for Geo-Spatial Information, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j30]Ruyi Ji
, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, Zhenjiang Hu:
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. Proc. ACM Program. Lang. 8(PLDI): 939-964 (2024)- [j29]Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu:
Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. ACM Trans. Program. Lang. Syst. 46(2): 8 (2024) - [j28]Yuan-An Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong:
Accelerating Patch Validation for Program Repair With Interception-Based Execution Scheduling. IEEE Trans. Software Eng. 50(3): 618-635 (2024) - [j27]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:
Scoping Software Engineering for AI: The TSE Perspective. IEEE Trans. Software Eng. 50(11): 2709-2711 (2024) - [c82]Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong:
Proving Functional Program Equivalence via Directed Lemma Synthesis. FM (1) 2024: 538-557 - [c81]Qihao Zhu, Qingyuan Liang, Zeyu Sun, Yingfei Xiong, Lu Zhang, Shengyu Cheng:
GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code. ICSE 2024: 76:1-76:13 - [c80]Yuan-An Xiao, Qihao Zhu, Yingfei Xiong:
The ET Program Repair Tool for Java. APR 2024: 61-63 - [c79]Zhao Zhang, Yican Sun, Ruyi Ji, Siyuan Li, Xuanyu Peng, Zhechong Huang, Sizhe Li, Tianran Zhu, Yingfei Xiong:
ASAC: A Benchmark for Algorithm Synthesis. SIGSOFT FSE Companion 2024: 577-581 - [i27]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:
DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence. CoRR abs/2401.14196 (2024) - [i26]Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong:
Proving Functional Program Equivalence via Directed Lemma Synthesis. CoRR abs/2405.11535 (2024) - [i25]Ziliang Wang, Ge Li, Jia Li, Meng Yan, Yingfei Xiong, Zhi Jin:
M2CVD: Multi-Model Collaboration for Code Vulnerability Detection. CoRR abs/2406.05940 (2024) - [i24]Ziliang Wang, Ge Li, Jia Li, Yihong Dong, Yingfei Xiong, Zhi Jin:
Code Structure-Aware through Line-level Semantic Learning for Code Vulnerability Detection. CoRR abs/2407.18877 (2024) - 2023
- [j26]Ruyi Ji, Chaozhe Kong, Yingfei Xiong, Zhenjiang Hu:
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. Proc. ACM Program. Lang. 7(OOPSLA1): 819-847 (2023) - [j25]Yican Sun, Xuanyu Peng, Yingfei Xiong:
Synthesizing Efficient Memoization Algorithms. Proc. ACM Program. Lang. 7(OOPSLA2): 89-115 (2023) - [c78]Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang:
Tare: Type-Aware Neural Program Repair. ICSE 2023: 1443-1455 - [c77]Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie:
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. ICSE 2023: 1827-1839 - [c76]Guancheng Wang, Yiqian Wu, Qihao Zhu, Yingfei Xiong, Xin Zhang, Lu Zhang:
A Probabilistic Delta Debugging Approach for Abstract Syntax Trees. ISSRE 2023: 763-773 - [c75]Wenjie Zhang, Guancheng Wang, Junjie Chen, Yingfei Xiong, Yong Liu, Lu Zhang:
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability. ASE 2023: 1200-1211 - [c74]Yuan-an Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong:
ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems. ASE 2023: 2038-2041 - [i23]Luyao Ren, Ziheng Wang, Yingfei Xiong, Li Zhang, Guoyue Jiang, Tao Xie:
Effective Random Test Generation for Deep Learning Compilers. CoRR abs/2302.00842 (2023) - [i22]Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie:
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. CoRR abs/2302.06086 (2023) - [i21]Yuan-an Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong:
Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling. CoRR abs/2305.03955 (2023) - [i20]Wenjie Zhang, Guancheng Wang, Junjie Chen, Yingfei Xiong, Yong Liu, Lu Zhang:
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability. CoRR abs/2309.06771 (2023) - 2022
- [j24]Daming Zou, Yuchen Gu, Yuanfeng Shi, Mingzhe Wang, Yingfei Xiong, Zhendong Su:
Oracle-free repair synthesis for floating-point programs. Proc. ACM Program. Lang. 6(OOPSLA2): 957-985 (2022) - [j23]Yingfei Xiong, Bo Wang:
L2S: A Framework for Synthesizing the Most Probable Program under a Specification. ACM Trans. Softw. Eng. Methodol. 31(3): 34:1-34:45 (2022) - [c73]Zeyu Sun, Wenjie Zhang, Lili Mou, Qihao Zhu, Yingfei Xiong, Lu Zhang:
Generalized Equivariance and Preferential Labeling for GNN Node Classification. AAAI 2022: 8395-8403 - [c72]Muhan Zeng, Yiqian Wu, Zhentao Ye, Yingfei Xiong, Xin Zhang, Lu Zhang:
Fault Localization via Efficient Probabilistic Modeling of Program Semantics. ICSE 2022: 958-969 - [c71]Zeyu Sun, Jie M. Zhang, Yingfei Xiong, Mark Harman, Mike Papadakis, Lu Zhang:
Improving Machine Translation Systems via Isotopic Replacement. ICSE 2022: 1181-1192 - [c70]Qingyuan Liang, Zeyu Sun, Qihao Zhu, Wenjie Zhang, Lian Yu, Yingfei Xiong, Lu Zhang:
Lyra: A Benchmark for Turducken-Style Code Generation. IJCAI 2022: 4238-4244 - [c69]Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang:
Grape: Grammar-Preserving Rule Embedding. IJCAI 2022: 4545-4551 - [c68]Yunfan Zhang, Ruidong Zhu, Yingfei Xiong, Tao Xie:
Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification. ASE 2022: 38:1-38:12 - [i19]Ruyi Ji, Yingfei Xiong, Zhenjiang Hu:
Black-Box Algorithm Synthesis - Divide-and-Conquer and More. CoRR abs/2202.12193 (2022) - [i18]Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu:
Synthesizing Efficient Dynamic Programming Algorithms. CoRR abs/2202.12208 (2022) - 2021
- [j22]Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, Lu Zhang:
A Survey of Compiler Testing. ACM Comput. Surv. 53(1): 4:1-4:36 (2021) - [j21]Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu:
Generalizable synthesis through unification. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021) - [j20]Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury:
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. ACM Trans. Softw. Eng. Methodol. 30(2): 14:1-14:27 (2021) - [j19]Junjie Chen, Guancheng Wang, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie:
Coverage Prediction for Accelerating Compiler Testing. IEEE Trans. Software Eng. 47(2): 261-278 (2021) - [j18]Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang:
An Empirical Study of Fault Localization Families and Their Combinations. IEEE Trans. Software Eng. 47(2): 332-347 (2021) - [c67]Jingjing Liang, Ruyi Ji, Jiajun Jiang, Shurui Zhou, Yiling Lou, Yingfei Xiong, Gang Huang:
Interactive Patch Filtering as Debugging Aid. ICSME 2021: 239-250 - [c66]Xia Li, Jiajun Jiang, Samuel Benton, Yingfei Xiong, Lingming Zhang:
A Large-scale Study on API Misuses in the Wild. ICST 2021: 241-252 - [c65]Bo Wang, Sirui Lu, Yingfei Xiong, Feng Liu:
Faster Mutation Analysis with Fewer Processes and Smaller Overheads. ASE 2021: 381-393 - [c64]Yifan Chen, Chenyang Yang, Xin Zhang, Yingfei Xiong, Hao Tang, Xiaoyin Wang, Lu Zhang:
Accelerating Program Analyses in Datalog by Merging Library Facts. SAS 2021: 77-101 - [c63]Qihao Zhu, Zeyu Sun, Yuan-an Xiao, Wenjie Zhang, Kang Yuan, Yingfei Xiong, Lu Zhang:
A syntax-guided edit decoder for neural program repair. ESEC/SIGSOFT FSE 2021: 341-353 - [c62]Guancheng Wang, Ruobing Shen, Junjie Chen, Yingfei Xiong, Lu Zhang:
Probabilistic Delta debugging. ESEC/SIGSOFT FSE 2021: 881-892 - [i17]Zeyu Sun, Wenjie Zhang, Lili Mou, Qihao Zhu, Yingfei Xiong, Lu Zhang:
Dynamic Labeling for Unlabeled Graph Neural Networks. CoRR abs/2102.11485 (2021) - [i16]Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu:
Occam Learning Meets Synthesis Through Unification. CoRR abs/2105.14467 (2021) - [i15]Qihao Zhu, Zeyu Sun, Yuan-an Xiao, Wenjie Zhang, Kang Yuan, Yingfei Xiong, Lu Zhang:
Syntax Guided Neural Program Repair. CoRR abs/2106.08253 (2021) - [i14]Qingyuan Liang, Zeyu Sun, Qihao Zhu, Wenjie Zhang, Lian Yu, Yingfei Xiong, Lu Zhang:
Lyra: A Benchmark for Turducken-Style Code Generation. CoRR abs/2108.12144 (2021) - 2020
- [j17]Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu:
Guiding dynamic programing via structural probability for accelerating programming by example. Proc. ACM Program. Lang. 4(OOPSLA): 224:1-224:29 (2020) - [j16]Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, Zhendong Su:
Detecting floating-point errors via atomic conditions. Proc. ACM Program. Lang. 4(POPL): 60:1-60:27 (2020) - [j15]Yuan Huang, Xinyu Hu, Nan Jia, Xiangping Chen, Yingfei Xiong, Zibin Zheng:
Learning Code Context Information to Predict Comment Locations. IEEE Trans. Reliab. 69(1): 88-105 (2020) - [c61]Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang:
TreeGen: A Tree-Based Transformer Architecture for Code Generation. AAAI 2020: 8984-8991 - [c60]Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang:
NLocalSAT: Boosting Local Search with Solution Prediction. IJCAI 2020: 1177-1183 - [c59]Qihao Zhu, Zeyu Sun, Xiran Liang, Yingfei Xiong, Lu Zhang:
OCoR: An Overlapping-Aware Code Retriever. ASE 2020: 883-894 - [c58]Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu:
Question selection for interactive program synthesis. PLDI 2020: 1143-1158 - [c57]Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie:
Detecting numerical bugs in neural network architectures. ESEC/SIGSOFT FSE 2020: 826-837 - [c56]Jiajun Jiang, Weihai Lu, Junjie Chen, Qingwei Lin, Pu Zhao, Yu Kang, Hongyu Zhang, Yingfei Xiong, Feng Gao, Zhangwei Xu, Yingnong Dang, Dongmei Zhang:
How to mitigate the incident? an effective troubleshooting guide recommendation technique for online service systems. ESEC/SIGSOFT FSE 2020: 1410-1420 - [c55]Jie Wang, Yunguang Wu, Gang Zhou, Yiming Yu, Zhenyu Guo, Yingfei Xiong:
Scaling static taint analysis to industrial SOA applications: a case study at Alibaba. ESEC/SIGSOFT FSE 2020: 1477-1486 - [c54]Zhaoxu Zhang, Hengcheng Zhu, Ming Wen, Yida Tao, Yepang Liu, Yingfei Xiong:
How Do Python Framework APIs Evolve? An Exploratory Study. SANER 2020: 81-92 - [i13]Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang:
NLocalSAT: Boosting Local Search with Solution Prediction. CoRR abs/2001.09398 (2020) - [i12]Jingjing Liang, Ruyi Ji, Jiajun Jiang, Yiling Lou, Yingfei Xiong, Gang Huang:
Interactive Patch Filtering as Debugging Aid. CoRR abs/2004.08746 (2020) - [i11]Qihao Zhu, Zeyu Sun, Xiran Liang, Yingfei Xiong, Lu Zhang:
OCoR: An Overlapping-Aware Code Retriever. CoRR abs/2008.05201 (2020)
2010 – 2019
- 2019
- [j14]Jiajun Jiang, Yingfei Xiong, Xin Xia:
A manual inspection of Defects4J bugs and its implications for automatic program repair. Sci. China Inf. Sci. 62(10): 200102:1-200102:16 (2019) - [j13]Abhik Roychoudhury, Yingfei Xiong:
Automated program repair: a step towards software automation. Sci. China Inf. Sci. 62(10): 200103:1-200103:3 (2019) - [j12]Gang Huang, Xuanzhe Liu, Yun Ma, Xuan Lu, Ying Zhang, Yingfei Xiong:
Programming Situational Mobile Web Applications with Cloud-Mobile Convergence: An Internetware-Oriented Approach. IEEE Trans. Serv. Comput. 12(1): 6-19 (2019) - [c53]Zeyu Sun, Qihao Zhu, Lili Mou, Yingfei Xiong, Ge Li, Lu Zhang:
A Grammar-Based Structural CNN Decoder for Code Generation. AAAI 2019: 7055-7062 - [c52]Jingjing Liang, Yaozong Hou, Shurui Zhou, Junjie Chen, Yingfei Xiong, Gang Huang:
How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects. ISSRE 2019: 58-69 - [c51]Jiajun Jiang, Luyao Ren, Yingfei Xiong, Lingming Zhang:
Inferring Program Transformations From Singular Examples via Big Code. ASE 2019: 255-266 - [c50]Junjie Chen, Guancheng Wang, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang:
History-Guided Configuration Diversification for Compiler Test-Program Generation. ASE 2019: 305-316 - [c49]Jiajun Jiang, Ran Wang, Yingfei Xiong, Xiangping Chen, Lu Zhang:
Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study. ASE 2019: 502-514 - [i10]Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang:
TreeGen: A Tree-Based Transformer Architecture for Code Generation. CoRR abs/1911.09983 (2019) - 2018
- [c48]Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang:
Learning to synthesize. GI@ICSE 2018: 37-44 - [c47]Shurui Zhou, Stefan Stanciulescu, Olaf Leßenich, Yingfei Xiong, Andrzej Wasowski, Christian Kästner:
Identifying features in forks. ICSE 2018: 105-116 - [c46]Yuan Huang, Nan Jia, Qiang Zhou, Xiangping Chen, Yingfei Xiong, Xiaonan Luo:
Guiding developers to make informative commenting decisions in source code. ICSE (Companion Volume) 2018: 260-261 - [c45]Yingfei Xiong, Xinyuan Liu, Muhan Zeng, Lu Zhang, Gang Huang:
Identifying patch correctness in test-based program repair. ICSE 2018: 789-799 - [c44]Ruru Yue, Zhe Gao, Na Meng, Yingfei Xiong, Xiaoyin Wang, J. David Morgenthaler:
Automatic Clone Recommendation for Refactoring Based on the Present and the Past. ICSME 2018: 115-126 - [c43]Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang:
An empirical study on TensorFlow program bugs. ISSTA 2018: 129-140 - [c42]Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen:
Shaping program repair space with existing patches and similar code. ISSTA 2018: 298-309 - [e2]Lei Bu, Yingfei Xiong:
Software Analysis, Testing, and Evolution - 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings. Lecture Notes in Computer Science 11293, Springer 2018, ISBN 978-3-030-04271-4 [contents] - [i9]Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang:
Learning to Synthesize. CoRR abs/1802.07608 (2018) - [i8]Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang:
An Empirical Study of Fault Localization Families and Their Combinations. CoRR abs/1803.09939 (2018) - [i7]Ruru Yue, Zhe Gao, Na Meng, Yingfei Xiong, Xiaoyin Wang, J. David Morgenthaler:
Automatic Clone Recommendation for Refactoring Based on the Present and the Past. CoRR abs/1807.11184 (2018) - [i6]Zeyu Sun, Qihao Zhu, Lili Mou, Yingfei Xiong, Ge Li, Lu Zhang:
A Grammar-Based Structural CNN Decoder for Code Generation. CoRR abs/1811.06837 (2018) - 2017
- [j11]Yijun Yu, Haruhiko Kaiya, Nobukazu Yoshioka, Zhenjiang Hu, Hironori Washizaki, Yingfei Xiong, Amin Hosseinian Far:
Goal Modelling for Security Problem Matching and Pattern Enforcement. Int. J. Secur. Softw. Eng. 8(3): 42-57 (2017) - [c41]Yuan Huang, Qiaoyang Zheng, Xiangping Chen, Yingfei Xiong, Zhiyong Liu, Xiaonan Luo:
Mining Version Control System for Automatically Generating Commit Comment. ESEM 2017: 414-423 - [c40]Hao Tang, Di Wang, Yingfei Xiong, Lingming Zhang, Xiaoyin Wang, Lu Zhang:
Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization. ESOP 2017: 880-908 - [c39]Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang:
Precise condition synthesis for program repair. ICSE 2017: 416-426 - [c38]Junjie Chen, Yanwei Bai, Dan Hao, Yingfei Xiong, Hongyu Zhang, Bing Xie:
Learning to prioritize test programs for compiler testing. ICSE 2017: 700-711 - [c37]Yufeng Cheng, Meng Wang, Yingfei Xiong, Zhengkai Wu, Yiming Wu, Lu Zhang:
Un-preprocessing: Extended CPP that works with your tools. Internetware 2017: 3:1-3:10 - [c36]Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao:
Faster mutation analysis via equivalence modulo states. ISSTA 2017: 295-306 - [e1]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:
Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume A, Sevilla, Spain, September 25-29, 2017. ACM 2017, ISBN 978-1-4503-5221-5 [contents] - [i5]Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao:
Faster Mutation Analysis via Equivalence Modulo States. CoRR abs/1702.06689 (2017) - [i4]Jiajun Jiang, Yingfei Xiong:
Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J. CoRR abs/1705.04149 (2017) - [i3]Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, Gang Huang:
Identifying Patch Correctness in Test-Based Automatic Program Repair. CoRR abs/1706.09120 (2017) - 2016
- [j10]Qing Gao, Jun Li, Yingfei Xiong, Dan Hao, Xusheng Xiao, Kunal Taneja, Lu Zhang, Tao Xie:
High-confidence software evolution. Sci. China Inf. Sci. 59(7): 071101:1-071101:19 (2016) - [c35]Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu:
Transforming Programs between APIs with Many-to-Many Mappings. ECOOP 2016: 25:1-25:26 - [c34]Junjie Chen, Wenxiang Hu, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie:
An empirical comparison of compiler testing techniques. ICSE 2016: 180-190 - [c33]Yufeng Cheng, Meng Wang, Yingfei Xiong, Dan Hao, Lu Zhang:
Empirical Evaluation of Test Coverage for Functional Programs. ICST 2016: 255-265 - [c32]Junjie Chen, Yanwei Bai, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie:
Test Case Prioritization for Compilers: A Text-Vector Based Approach. ICST 2016: 266-277 - [c31]Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong, Lu Zhang, Gang Huang:
Detecting and fixing precision-specific operations for measuring floating-point errors. SIGSOFT FSE 2016: 619-630 - [i2]Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang:
Precise Condition Synthesis for Program Repair. CoRR abs/1608.07754 (2016) - [i1]Anthony Anjorin, Zinovy Diskin, Meng Wang, Yingfei Xiong:
Bidirectional Transformations, (NII Shonan Meeting 2016-13). NII Shonan Meet. Rep. 2016 (2016) - 2015
- [j9]Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel:
Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 14(1): 241-269 (2015) - [j8]Yingfei Xiong, Hansheng Zhang, Arnaud Hubaux, Steven She, Jie Wang, Krzysztof Czarnecki:
Range Fixes: Interactive Error Resolution for Software Configuration. IEEE Trans. Software Eng. 41(6): 603-619 (2015) - [c30]Qing Gao, Yingfei Xiong, Yaqing Mi, Lu Zhang, Weikun Yang, Zhaoping Zhou, Bing Xie, Hong Mei:
Safe Memory-Leak Fixing for C Programs. ICSE (1) 2015: 459-470 - [c29]Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei:
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. ICSE (1) 2015: 529-539 - [c28]Qing Gao, Hansheng Zhang, Jie Wang, Yingfei Xiong, Lu Zhang, Hong Mei:
Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T). ASE 2015: 307-318 - [c27]Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu:
SWIN: Towards Type-Safe Java Program Adaptation between APIs. PEPM 2015: 91-102 - [c26]Yingfei Xiong, Dan Hao, Lu Zhang, Tao Zhu, Muyao Zhu, Tian Lan:
Inner oracles: input-specific assertions on internal states. ESEC/SIGSOFT FSE 2015: 902-905 - 2014
- [j7]