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 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
[j29]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)- [j28]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) - [j27]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) - [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]Tao Xie, Lu Zhang, Xusheng Xiao, Yingfei Xiong, Dan Hao:
Cooperative Software Testing and Analysis: Advances and Challenges. J. Comput. Sci. Technol. 29(4): 713-723 (2014) - [j6]Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei:
Interactive Inconsistency Fixing in Feature Modeling. J. Comput. Sci. Technol. 29(4): 724-736 (2014) - [j5]Moisés Castelo Branco, Yingfei Xiong, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer:
A case study on consistency management of business and IT process models in banking. Softw. Syst. Model. 13(3): 913-940 (2014) - [c25]Chu-Pan Wong, Yingfei Xiong, Hongyu Zhang, Dan Hao, Lu Zhang, Hong Mei:
Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis. ICSME 2014: 181-190 - [c24]Yihan Wu, Hui Song, Yingfei Xiong, Zibin Zheng, Ying Zhang, Gang Huang:
Model defined fault tolerance in cloud. Internetware 2014: 116-119 - [c23]Jie Zhang, Junjie Chen, Dan Hao, Yingfei Xiong, Bing Xie, Lu Zhang, Hong Mei:
Search-based inference of polynomial metamorphic relations. ASE 2014: 701-712 - 2013
- [j4]Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong, Wei Zhang, Hong Mei:
Supporting feature model refinement with updatable view. Frontiers Comput. Sci. 7(2): 257-271 (2013) - [j3]Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi:
Synchronizing concurrent model updates based on bidirectional transformation. Softw. Syst. Model. 12(1): 89-104 (2013) - [c22]Jun Li, Yingfei Xiong, Xuanzhe Liu, Lu Zhang:
How Does Web Service API Evolution Affect Clients? ICWS 2013: 300-307 - [c21]Yihan Wu, Ying Zhang, Yingfei Xiong, Xiaodong Zhang, Gang Huang:
Towards RSA-based HA configuration in Cloud. Models@run.time 2013: 96-102 - [c20]Bo Wang, Leonardo Teixeira Passos, Yingfei Xiong, Krzysztof Czarnecki, Haiyan Zhao, Wei Zhang:
SmartFixer: fixing software configurations based on dynamic priorities. SPLC 2013: 82-90 - 2012
- [c19]Yingfei Xiong, Arnaud Hubaux, Steven She, Krzysztof Czarnecki:
Generating range fixes for software configuration. ICSE 2012: 58-68 - [c18]Hui Song, Gang Huang, Yingfei Xiong, Yanchun Sun:
Inferring the data access from the clients of generic APIs. ICSM 2012: 388-397 - [c17]Xiaoyin Wang, Lu Zhang, Tao Xie, Yingfei Xiong, Hong Mei:
Automating presentation changes in dynamic web applications via collaborative hybrid analysis. SIGSOFT FSE 2012: 16 - [c16]Arnaud Hubaux, Yingfei Xiong, Krzysztof Czarnecki:
A user survey of configuration challenges in Linux and eCos. VaMoS 2012: 149-155 - 2011
- [j2]Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki:
From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case. J. Object Technol. 10: 6: 1-25 (2011) - [j1]Hui Song, Gang Huang, Franck Chauvel, Yingfei Xiong, Zhenjiang Hu, Yanchun Sun, Hong Mei:
Supporting runtime software architecture: A bidirectional-transformation-based approach. J. Syst. Softw. 84(5): 711-723 (2011) - [c15]Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas:
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. MoDELS 2011: 304-318 - [c14]Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong:
Correctness of Model Synchronization Based on Triple Graph Grammars. MoDELS 2011: 668-682 - [c13]Leonardo Teixeira Passos, Thorsten Berger, Marko Novakovic, Krzysztof Czarnecki, Yingfei Xiong, Andrzej Wasowski:
A study of non-Boolean constraints in variability models of an embedded operating system. SPLC Workshops 2011: 2 - 2010
- [c12]Moisés Castelo Branco, Yingfei Xiong, Krzysztof Czarnecki, Janette Wong, Alex Lau:
Effective collaboration and consistency management in business process modeling. CASCON 2010: 349-350 - [c11]Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki:
From State- to Delta-Based Bidirectional Model Transformations. ICMT@TOOLS 2010: 61-76 - [c10]Bo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei:
Tolerating Inconsistency in Feature Models. LWI@ASE 2010: 15-20 - [c9]Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki:
Specifying overlaps of heterogeneous models for global consistency checking. MDI@MoDELS 2010: 42-51 - [c8]Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki:
Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. MoDELS (Workshops) 2010: 165-179 - [c7]Hui Song, Gang Huang, Yingfei Xiong, Franck Chauvel, Yanchun Sun, Hong Mei:
Inferring Meta-models for Runtime System Data from the Clients of Management APIs. MoDELS (2) 2010: 168-182 - [c6]Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei:
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. MoDELS (1) 2010: 181-195
2000 – 2009
- 2009
- [c5]Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi:
Supporting Parallel Updates with Bidirectional Model Transformations. ICMT@TOOLS 2009: 213-228 - [c4]Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei:
Generating Synchronization Engines between Running Systems and Their Model-Based Views. MoDELS (Workshops) 2009: 140-154 - [c3]Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei:
Supporting automatic model inconsistency fixing. ESEC/SIGSOFT FSE 2009: 315-324 - 2008
- [c2]Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Nobukazu Yoshioka:
Enforcing a security pattern in stakeholder goal models. QoP 2008: 9-14 - 2007
- [c1]Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei:
Towards automatic model synchronization from model transformations. ASE 2007: 164-173
Coauthor Index
[j28] [c81] [c78] [c76] [c75] [i20] [c73] [c72] [c71] [c70] [c69] [j22] [j19] [j18] [c64] [c63] [c62] [i17] [i15] [i14] [j16] [c61] [c60] [c59] [c58] [i13] [i11] [c53] [c50] [c49] [i10] [c45] [c43] [i8] [i6] [c40] [c39] [c37] [c36] [i5] [i3] [j10] [c35] [c34] [c33] [c32] [c31] [i2] [c30] [c29] [c28] [c26] [j7] [c25] [c23] [c22] [c17]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-10 22:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
