default search action

combined dblp search
author search
venue search
publication search

ask others

Yingfei Xiong 0001

> Home > Persons

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

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/JiZPXH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/JiZPXH24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/JiZXWZH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/JiZXWZH24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/XiaoYWX24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/XiaoYWX24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/SunJFJCX24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SunJFJCX24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhuL000C24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhuL000C24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-apr/XiaoZX24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-apr/XiaoZX24
Yuan-An Xiao, Qihao Zhu, Yingfei Xiong:
The ET Program Repair Tool for Java. APR 2024: 61-63
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ZhangSJLPHLZ024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ZhangSJLPHLZ024
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-14196
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-14196
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-11535
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-11535
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-05940
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-05940
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-18877
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-18877
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/JiKXH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/JiKXH23
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/SunPX23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/SunPX23
Yican Sun, Xuanyu Peng, Yingfei Xiong:
Synthesizing Efficient Memoization Algorithms. Proc. ACM Program. Lang. 7(OOPSLA2): 89-115 (2023)
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhuSZXZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhuSZXZ23
Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang:
Tare: Type-Aware Neural Program Repair. ICSE 2023: 1443-1455
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LiZRXX23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LiZRXX23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/WangWZXZZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/WangWZXZZ23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ZhangWCXLZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ZhangWCXLZ23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/XiaoYWX23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/XiaoYWX23
Yuan-an Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong:
ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems. ASE 2023: 2038-2041
[i23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-00842
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-00842
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-06086
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-06086
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-03955
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-03955
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-06771
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-06771
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ZouGSWXS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ZouGSWXS22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/XiongW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/XiongW22
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/0004ZMZ0022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/0004ZMZ0022
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZengWY0Z022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZengWY0Z022
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/0004Z0HP022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/0004Z0HP022
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Liang0ZZY0022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Liang0ZZY0022
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Zhu0Z0022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Zhu0Z0022
Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang:
Grape: Grammar-Preserving Rule Embedding. IJCAI 2022: 4545-4551
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ZhangZXX22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ZhangZXX22
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2202-12193
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-12193
Ruyi Ji, Yingfei Xiong, Zhenjiang Hu:
Black-Box Algorithm Synthesis - Divide-and-Conquer and More. CoRR abs/2202.12193 (2022)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2202-12208
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-12208
Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu:
Synthesizing Efficient Dynamic Programming Algorithms. CoRR abs/2202.12208 (2022)
2021
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/ChenPPXZHZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/ChenPPXZHZ20
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/JiXXH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/JiXXH21
Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu:
Generalizable synthesis through unification. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/GaoWDJXR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/GaoWDJXR21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ChenWHXZZX21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ChenWHXZZX21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ZouLXEZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ZouLXEZ21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/LiangJJZL0021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/LiangJJZL0021
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/LiJB0Z21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/LiJB0Z21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/WangLXL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/WangLXL21
Bo Wang, Sirui Lu, Yingfei Xiong, Feng Liu:
Faster Mutation Analysis with Fewer Processes and Smaller Overheads. ASE 2021: 381-393
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ChenYZXTWZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ChenYZXTWZ21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ZhuSXZY0Z21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ZhuSXZY0Z21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/WangS00021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/WangS00021
Guancheng Wang, Ruobing Shen, Junjie Chen, Yingfei Xiong, Lu Zhang:
Probabilistic Delta debugging. ESEC/SIGSOFT FSE 2021: 881-892
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2102-11485
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-11485
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-14467
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-14467
Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu:
Occam Learning Meets Synthesis Through Unification. CoRR abs/2105.14467 (2021)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2106-08253
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-08253
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2108-12144
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-12144
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/JiS0H20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/JiS0H20
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ZouZXFZS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ZouZXFZS20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/HuangHJCXZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/HuangHJCXZ20
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/SunZXSMZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SunZXSMZ20
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/ZhangSZLCXZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ZhangSZLCXZ20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ZhuSLXZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ZhuSLXZ20
Qihao Zhu, Zeyu Sun, Xiran Liang, Yingfei Xiong, Lu Zhang:
OCoR: An Overlapping-Aware Code Retriever. ASE 2020: 883-894
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/JiLXZH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/JiLXZH20
Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu:
Question selection for interactive program synthesis. PLDI 2020: 1143-1158
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ZhangRC0C020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ZhangRC0C020
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/JiangL0LZK00GXD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/JiangL0LZK00GXD20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/WangWZYG020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/WangWZYG020
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/ZhangZWTLX20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/ZhangZWTLX20
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2001-09398
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-09398
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2004-08746
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-08746
Jingjing Liang, Ruyi Ji, Jiajun Jiang, Yiling Lou, Yingfei Xiong, Gang Huang:
Interactive Patch Filtering as Debugging Aid. CoRR abs/2004.08746 (2020)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2008-05201
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-05201
Qihao Zhu, Zeyu Sun, Xiran Liang, Yingfei Xiong, Lu Zhang:
OCoR: An Overlapping-Aware Code Retriever. CoRR abs/2008.05201 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/JiangXX19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/JiangXX19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/RoychoudhuryX19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/RoychoudhuryX19
Abhik Roychoudhury, Yingfei Xiong:
Automated program repair: a step towards software automation. Sci. China Inf. Sci. 62(10): 200103:1-200103:3 (2019)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tsc/HuangLMLZX19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/HuangLMLZX19
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/SunZMXLZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SunZMXLZ19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/LiangHZ0X019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/LiangHZ0X019
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/JiangRXZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/JiangRXZ19
Jiajun Jiang, Luyao Ren, Yingfei Xiong, Lingming Zhang:
Inferring Program Transformations From Singular Examples via Big Code. ASE 2019: 255-266
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/0003WHX0019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/0003WHX0019
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/JiangWXCZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/JiangWXCZ19
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-09983
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-09983
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/XiongWFZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/XiongWFZ18
Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang:
Learning to synthesize. GI@ICSE 2018: 37-44
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhouSLXWK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhouSLXWK18
Shurui Zhou, Stefan Stanciulescu, Olaf Leßenich, Yingfei Xiong, Andrzej Wasowski, Christian Kästner:
Identifying features in forks. ICSE 2018: 105-116
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HuangJZCXL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HuangJZCXL18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/XiongLZ0018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/XiongLZ0018
Yingfei Xiong, Xinyuan Liu, Muhan Zeng, Lu Zhang, Gang Huang:
Identifying patch correctness in test-based program repair. ICSE 2018: 789-799
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/YueGMXWM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/YueGMXWM18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ZhangCCXZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ZhangCCXZ18
Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang:
An empirical study on TensorFlow program bugs. ISSTA 2018: 129-140
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/JiangXZGC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/JiangXZGC18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sate/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sate/2018
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1802-07608
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-07608
Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang:
Learning to Synthesize. CoRR abs/1802.07608 (2018)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1803-09939
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-09939
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-11184
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-11184
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1811-06837
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-06837
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsse/YuKYHWXF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsse/YuKYHWXF17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/esem/HuangZCXLL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esem/HuangZCXLL17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/TangWXZW017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/TangWXZW017
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/XiongWYZH0017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/XiongWYZH0017
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChenBHXZX17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChenBHXZX17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/internetware/ChengWXWWZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/internetware/ChengWXWWZ17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/WangXSZH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/WangXSZH17
Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao:
Faster mutation analysis via equivalence modulo states. ISSTA 2017: 295-306
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/2017a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2017a
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/WangXSZH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WangXSZH17
Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao:
Faster Mutation Analysis via Equivalence Modulo States. CoRR abs/1702.06689 (2017)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/JiangX17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JiangX17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/LiuZX0017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LiuZX0017
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]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/GaoLXHXT0X16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/GaoLXHXT0X16
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/WangJLXLZH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/WangJLXLZH16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChenHHXZ0X16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChenHHXZ0X16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ChengWXH016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ChengWXH016
Yufeng Cheng, Meng Wang, Yingfei Xiong, Dan Hao, Lu Zhang:
Empirical Evaluation of Test Coverage for Functional Programs. ICST 2016: 255-265
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ChenBHXZ0X16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ChenBHXZ0X16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/WangZHXZ016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/WangZHXZ016
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/XiongWYZH0016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/XiongWYZH0016
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]
- view
  - electronic edition @ nii.ac.jp (open access)
  - details & citations
- export record
  dblp key:
  - journals/shonan-reports/AnjorinDWX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/AnjorinDWX16
Anthony Anjorin, Zinovy Diskin, Meng Wang, Yingfei Xiong:
Bidirectional Transformations, (NII Shonan Meeting 2016-13). NII Shonan Meet. Rep. 2016 (2016)
2015
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/0001EOCDXGE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/0001EOCDXGE15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/XiongZHSWC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/XiongZHSWC15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GaoXMZYZXM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GaoXMZYZXM15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZouWXZSM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZouWXZSM15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/GaoZWXZM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/GaoZWXZM15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/LiWXH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/LiWXH15
Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu:
SWIN: Towards Type-Safe Java Program Adaptation between APIs. PEPM 2015: 91-102
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/XiongH0ZZL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/XiongH0ZZL15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jcst/Xie0XXH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcst/Xie0XXH14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jcst/WangXHZZM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcst/WangXHZZM14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/BrancoXCKV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/BrancoXCKV14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/WongXZHZM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/WongXZHZM14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/internetware/WuSXZZ014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/internetware/WuSXZZ014
Yihan Wu, Hui Song, Yingfei Xiong, Zibin Zheng, Ying Zhang, Gang Huang:
Model defined fault tolerance in cloud. Internetware 2014: 116-119
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ZhangCHXXZM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ZhangCHXXZM14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/WangHSZXZM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/WangHSZXZM13
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/XiongSHT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/XiongSHT13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/LiXLZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/LiXLZ13
Jun Li, Yingfei Xiong, Xuanzhe Liu, Lu Zhang:
How Does Web Service API Evolution Affect Clients? ICWS 2013: 300-307
[c21]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/WuZX0013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/WuZX0013
Yihan Wu, Ying Zhang, Yingfei Xiong, Xiaodong Zhang, Gang Huang:
Towards RSA-based HA configuration in Cloud. [email protected] 2013: 96-102
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/WangPXCZ013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/WangPXCZ013
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/XiongHSC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/XiongHSC12
Yingfei Xiong, Arnaud Hubaux, Steven She, Krzysztof Czarnecki:
Generating range fixes for software configuration. ICSE 2012: 58-68
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/Song0XS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/Song0XS12
Hui Song, Gang Huang, Yingfei Xiong, Yanchun Sun:
Inferring the data access from the clients of generic APIs. ICSM 2012: 388-397
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/WangZXXM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/WangZXXM12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/HubauxXC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/HubauxXC12
Arnaud Hubaux, Yingfei Xiong, Krzysztof Czarnecki:
A user survey of configuration challenges in Linux and eCos. VaMoS 2012: 149-155
2011
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/DiskinXC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/DiskinXC11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/SongHCXHSM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/SongHCXHSM11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/models/DiskinXCEHO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/DiskinXCEHO11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/models/HermannEOCDX11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/HermannEOCDX11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/PassosBNCXW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/PassosBNCXW11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cascon/BrancoXCWL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cascon/BrancoXCWL10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/DiskinXC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/DiskinXC10
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki:
From State- to Delta-Based Bidirectional Model Transformations. ICMT@TOOLS 2010: 61-76
[c10]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kbse/WangHXZZM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/WangHXZZM10
Bo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei:
Tolerating Inconsistency in Feature Models. LWI@ASE 2010: 15-20
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/models/DiskinXC10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/DiskinXC10a
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki:
Specifying overlaps of heterogeneous models for global consistency checking. MDI@MoDELS 2010: 42-51
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/models/DiskinXC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/DiskinXC10
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki:
Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. MoDELS (Workshops) 2010: 165-179
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/models/SongHXCSM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SongHXCSM10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/models/WangXHZZM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/WangXHZZM10
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/XiongSHT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/XiongSHT09
Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi:
Supporting Parallel Updates with Bidirectional Model Transformations. ICMT@TOOLS 2009: 213-228
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/models/SongXCHHM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SongXCHHM09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/XiongHZSTM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/XiongHZSTM09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/YuKWXHY08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/YuKWXHY08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/XiongLHZTM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/XiongLHZTM07
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

see FAQ

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.