Stop the war!Остановите войну!
for scientists:
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
- 2023
[i21]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)- [i20]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) - 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]