default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Yingfei Xiong"
download as .bib file
@article{DBLP:journals/pacmpl/JiZPXH24,
author = {Ruyi Ji and
Yuwei Zhao and
Nadia Polikarpova and
Yingfei Xiong and
Zhenjiang Hu},
title = {Superfusion: Eliminating Intermediate Data Structures via Inductive
Synthesis},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{PLDI}},
pages = {939--964},
year = {2024},
url = {https://doi.org/10.1145/3656415},
doi = {10.1145/3656415},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/JiZPXH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JiZXWZH24,
author = {Ruyi Ji and
Yuwei Zhao and
Yingfei Xiong and
Di Wang and
Lu Zhang and
Zhenjiang Hu},
title = {Decomposition-based Synthesis for Applying Divide-and-Conquer-like
Algorithmic Paradigms},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {46},
number = {2},
pages = {8},
year = {2024},
url = {https://doi.org/10.1145/3648440},
doi = {10.1145/3648440},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/JiZXWZH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/XiaoYWX24,
author = {Yuan{-}An Xiao and
Chenyang Yang and
Bo Wang and
Yingfei Xiong},
title = {Accelerating Patch Validation for Program Repair With Interception-Based
Execution Scheduling},
journal = {{IEEE} Trans. Software Eng.},
volume = {50},
number = {3},
pages = {618--635},
year = {2024},
url = {https://doi.org/10.1109/TSE.2024.3359969},
doi = {10.1109/TSE.2024.3359969},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/XiaoYWX24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SunJFJCX24,
author = {Yican Sun and
Ruyi Ji and
Jian Fang and
Xuanlin Jiang and
Mingshuai Chen and
Yingfei Xiong},
editor = {Andr{\'{e}} Platzer and
Kristin Yvonne Rozier and
Matteo Pradella and
Matteo Rossi},
title = {Proving Functional Program Equivalence via Directed Lemma Synthesis},
booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy,
September 9-13, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14933},
pages = {538--557},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71162-6\_28},
doi = {10.1007/978-3-031-71162-6\_28},
timestamp = {Tue, 17 Sep 2024 14:10:04 +0200},
biburl = {https://dblp.org/rec/conf/fm/SunJFJCX24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-apr/XiaoZX24,
author = {Yuan{-}An Xiao and
Qihao Zhu and
Yingfei Xiong},
title = {The {ET} Program Repair Tool for Java},
booktitle = {{IEEE/ACM} International Workshop on Automated Program Repair, APR@ICSE
2024, Lisbon, Portugal, April 20, 2024},
pages = {61--63},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1145/3643788.3648016},
doi = {10.1145/3643788.3648016},
timestamp = {Thu, 03 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse-apr/XiaoZX24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhuL000C24,
author = {Qihao Zhu and
Qingyuan Liang and
Zeyu Sun and
Yingfei Xiong and
Lu Zhang and
Shengyu Cheng},
title = {GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model
for Code},
booktitle = {Proceedings of the 46th {IEEE/ACM} International Conference on Software
Engineering, {ICSE} 2024, Lisbon, Portugal, April 14-20, 2024},
pages = {76:1--76:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3597503.3639125},
doi = {10.1145/3597503.3639125},
timestamp = {Mon, 24 Jun 2024 15:20:25 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhuL000C24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhangSJLPHLZ024,
author = {Zhao Zhang and
Yican Sun and
Ruyi Ji and
Siyuan Li and
Xuanyu Peng and
Zhechong Huang and
Sizhe Li and
Tianran Zhu and
Yingfei Xiong},
editor = {Marcelo d'Amorim},
title = {{ASAC:} {A} Benchmark for Algorithm Synthesis},
booktitle = {Companion Proceedings of the 32nd {ACM} International Conference on
the Foundations of Software Engineering, {FSE} 2024, Porto de Galinhas,
Brazil, July 15-19, 2024},
pages = {577--581},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3663529.3663802},
doi = {10.1145/3663529.3663802},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhangSJLPHLZ024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-14196,
author = {Daya Guo and
Qihao Zhu and
Dejian Yang and
Zhenda Xie and
Kai Dong and
Wentao Zhang and
Guanting Chen and
Xiao Bi and
Y. Wu and
Y. K. Li and
Fuli Luo and
Yingfei Xiong and
Wenfeng Liang},
title = {DeepSeek-Coder: When the Large Language Model Meets Programming -
The Rise of Code Intelligence},
journal = {CoRR},
volume = {abs/2401.14196},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.14196},
doi = {10.48550/ARXIV.2401.14196},
eprinttype = {arXiv},
eprint = {2401.14196},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-14196.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-11535,
author = {Yican Sun and
Ruyi Ji and
Jian Fang and
Xuanlin Jiang and
Mingshuai Chen and
Yingfei Xiong},
title = {Proving Functional Program Equivalence via Directed Lemma Synthesis},
journal = {CoRR},
volume = {abs/2405.11535},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.11535},
doi = {10.48550/ARXIV.2405.11535},
eprinttype = {arXiv},
eprint = {2405.11535},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-11535.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-05940,
author = {Ziliang Wang and
Ge Li and
Jia Li and
Meng Yan and
Yingfei Xiong and
Zhi Jin},
title = {{M2CVD:} Multi-Model Collaboration for Code Vulnerability Detection},
journal = {CoRR},
volume = {abs/2406.05940},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.05940},
doi = {10.48550/ARXIV.2406.05940},
eprinttype = {arXiv},
eprint = {2406.05940},
timestamp = {Tue, 30 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-05940.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-18877,
author = {Ziliang Wang and
Ge Li and
Jia Li and
Yihong Dong and
Yingfei Xiong and
Zhi Jin},
title = {Code Structure-Aware through Line-level Semantic Learning for Code
Vulnerability Detection},
journal = {CoRR},
volume = {abs/2407.18877},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.18877},
doi = {10.48550/ARXIV.2407.18877},
eprinttype = {arXiv},
eprint = {2407.18877},
timestamp = {Mon, 26 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-18877.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/JiKXH23,
author = {Ruyi Ji and
Chaozhe Kong and
Yingfei Xiong and
Zhenjiang Hu},
title = {Improving Oracle-Guided Inductive Synthesis by Efficient Question
Selection},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA1}},
pages = {819--847},
year = {2023},
url = {https://doi.org/10.1145/3586055},
doi = {10.1145/3586055},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/JiKXH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SunPX23,
author = {Yican Sun and
Xuanyu Peng and
Yingfei Xiong},
title = {Synthesizing Efficient Memoization Algorithms},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {89--115},
year = {2023},
url = {https://doi.org/10.1145/3622800},
doi = {10.1145/3622800},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SunPX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LiZRXX23,
author = {Linyi Li and
Yuhao Zhang and
Luyao Ren and
Yingfei Xiong and
Tao Xie},
title = {Reliability Assurance for Deep Neural Network Architectures Against
Numerical Defects},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
pages = {1827--1839},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE48619.2023.00156},
doi = {10.1109/ICSE48619.2023.00156},
timestamp = {Thu, 15 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/LiZRXX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhuSZXZ23,
author = {Qihao Zhu and
Zeyu Sun and
Wenjie Zhang and
Yingfei Xiong and
Lu Zhang},
title = {Tare: Type-Aware Neural Program Repair},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
pages = {1443--1455},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE48619.2023.00126},
doi = {10.1109/ICSE48619.2023.00126},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhuSZXZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/WangWZXZZ23,
author = {Guancheng Wang and
Yiqian Wu and
Qihao Zhu and
Yingfei Xiong and
Xin Zhang and
Lu Zhang},
title = {A Probabilistic Delta Debugging Approach for Abstract Syntax Trees},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023, Florence, Italy, October 9-12, 2023},
pages = {763--773},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSRE59848.2023.00060},
doi = {10.1109/ISSRE59848.2023.00060},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/WangWZXZZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XiaoYWX23,
author = {Yuan{-}an Xiao and
Chenyang Yang and
Bo Wang and
Yingfei Xiong},
title = {ExpressAPR: Efficient Patch Validation for Java Automated Program
Repair Systems},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {2038--2041},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00012},
doi = {10.1109/ASE56229.2023.00012},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/XiaoYWX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangWCXLZ23,
author = {Wenjie Zhang and
Guancheng Wang and
Junjie Chen and
Yingfei Xiong and
Yong Liu and
Lu Zhang},
title = {OrdinalFix: Fixing Compilation Errors via Shortest-Path {CFL} Reachability},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {1200--1211},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00072},
doi = {10.1109/ASE56229.2023.00072},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZhangWCXLZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-00842,
author = {Luyao Ren and
Ziheng Wang and
Yingfei Xiong and
Li Zhang and
Guoyue Jiang and
Tao Xie},
title = {Effective Random Test Generation for Deep Learning Compilers},
journal = {CoRR},
volume = {abs/2302.00842},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.00842},
doi = {10.48550/ARXIV.2302.00842},
eprinttype = {arXiv},
eprint = {2302.00842},
timestamp = {Sun, 19 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-00842.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-06086,
author = {Linyi Li and
Yuhao Zhang and
Luyao Ren and
Yingfei Xiong and
Tao Xie},
title = {Reliability Assurance for Deep Neural Network Architectures Against
Numerical Defects},
journal = {CoRR},
volume = {abs/2302.06086},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.06086},
doi = {10.48550/ARXIV.2302.06086},
eprinttype = {arXiv},
eprint = {2302.06086},
timestamp = {Thu, 15 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-06086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-03955,
author = {Yuan{-}an Xiao and
Chenyang Yang and
Bo Wang and
Yingfei Xiong},
title = {Accelerating Patch Validation for Program Repair with Interception-Based
Execution Scheduling},
journal = {CoRR},
volume = {abs/2305.03955},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.03955},
doi = {10.48550/ARXIV.2305.03955},
eprinttype = {arXiv},
eprint = {2305.03955},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-03955.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-06771,
author = {Wenjie Zhang and
Guancheng Wang and
Junjie Chen and
Yingfei Xiong and
Yong Liu and
Lu Zhang},
title = {OrdinalFix: Fixing Compilation Errors via Shortest-Path {CFL} Reachability},
journal = {CoRR},
volume = {abs/2309.06771},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.06771},
doi = {10.48550/ARXIV.2309.06771},
eprinttype = {arXiv},
eprint = {2309.06771},
timestamp = {Wed, 10 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-06771.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ZouGSWXS22,
author = {Daming Zou and
Yuchen Gu and
Yuanfeng Shi and
Mingzhe Wang and
Yingfei Xiong and
Zhendong Su},
title = {Oracle-free repair synthesis for floating-point programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {957--985},
year = {2022},
url = {https://doi.org/10.1145/3563322},
doi = {10.1145/3563322},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ZouGSWXS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/XiongW22,
author = {Yingfei Xiong and
Bo Wang},
title = {{L2S:} {A} Framework for Synthesizing the Most Probable Program under
a Specification},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {31},
number = {3},
pages = {34:1--34:45},
year = {2022},
url = {https://doi.org/10.1145/3487570},
doi = {10.1145/3487570},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/XiongW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0004ZMZ0022,
author = {Zeyu Sun and
Wenjie Zhang and
Lili Mou and
Qihao Zhu and
Yingfei Xiong and
Lu Zhang},
title = {Generalized Equivariance and Preferential Labeling for {GNN} Node
Classification},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {8395--8403},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i8.20815},
doi = {10.1609/AAAI.V36I8.20815},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0004ZMZ0022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0004Z0HP022,
author = {Zeyu Sun and
Jie M. Zhang and
Yingfei Xiong and
Mark Harman and
Mike Papadakis and
Lu Zhang},
title = {Improving Machine Translation Systems via Isotopic Replacement},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {1181--1192},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510206},
doi = {10.1145/3510003.3510206},
timestamp = {Mon, 18 Jul 2022 16:47:42 +0200},
biburl = {https://dblp.org/rec/conf/icse/0004Z0HP022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZengWY0Z022,
author = {Muhan Zeng and
Yiqian Wu and
Zhentao Ye and
Yingfei Xiong and
Xin Zhang and
Lu Zhang},
title = {Fault Localization via Efficient Probabilistic Modeling of Program
Semantics},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {958--969},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510073},
doi = {10.1145/3510003.3510073},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZengWY0Z022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Liang0ZZY0022,
author = {Qingyuan Liang and
Zeyu Sun and
Qihao Zhu and
Wenjie Zhang and
Lian Yu and
Yingfei Xiong and
Lu Zhang},
editor = {Luc De Raedt},
title = {Lyra: {A} Benchmark for Turducken-Style Code Generation},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {4238--4244},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/588},
doi = {10.24963/IJCAI.2022/588},
timestamp = {Tue, 15 Oct 2024 16:43:28 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Liang0ZZY0022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Zhu0Z0022,
author = {Qihao Zhu and
Zeyu Sun and
Wenjie Zhang and
Yingfei Xiong and
Lu Zhang},
editor = {Luc De Raedt},
title = {Grape: Grammar-Preserving Rule Embedding},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {4545--4551},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/631},
doi = {10.24963/IJCAI.2022/631},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Zhu0Z0022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangZXX22,
author = {Yunfan Zhang and
Ruidong Zhu and
Yingfei Xiong and
Tao Xie},
title = {Efficient Synthesis of Method Call Sequences for Test Generation and
Bounded Verification},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {38:1--38:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3556951},
doi = {10.1145/3551349.3556951},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZhangZXX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-12193,
author = {Ruyi Ji and
Yingfei Xiong and
Zhenjiang Hu},
title = {Black-Box Algorithm Synthesis - Divide-and-Conquer and More},
journal = {CoRR},
volume = {abs/2202.12193},
year = {2022},
url = {https://arxiv.org/abs/2202.12193},
eprinttype = {arXiv},
eprint = {2202.12193},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-12193.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-12208,
author = {Ruyi Ji and
Tianran Zhu and
Yingfei Xiong and
Zhenjiang Hu},
title = {Synthesizing Efficient Dynamic Programming Algorithms},
journal = {CoRR},
volume = {abs/2202.12208},
year = {2022},
url = {https://arxiv.org/abs/2202.12208},
eprinttype = {arXiv},
eprint = {2202.12208},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-12208.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/ChenPPXZHZ20,
author = {Junjie Chen and
Jibesh Patra and
Michael Pradel and
Yingfei Xiong and
Hongyu Zhang and
Dan Hao and
Lu Zhang},
title = {A Survey of Compiler Testing},
journal = {{ACM} Comput. Surv.},
volume = {53},
number = {1},
pages = {4:1--4:36},
year = {2021},
url = {https://doi.org/10.1145/3363562},
doi = {10.1145/3363562},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/ChenPPXZHZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/JiXXH21,
author = {Ruyi Ji and
Jingtao Xia and
Yingfei Xiong and
Zhenjiang Hu},
title = {Generalizable synthesis through unification},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--28},
year = {2021},
url = {https://doi.org/10.1145/3485544},
doi = {10.1145/3485544},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/JiXXH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/LinGCSZYX21,
author = {Chuang Lin and
Shanxin Guo and
Jinsong Chen and
Luyi Sun and
Xiaorou Zheng and
Yan Yang and
Yingfei Xiong},
title = {Deep Learning Network Intensification for Preventing Noisy-Labeled
Samples for Remote Sensing Classification},
journal = {Remote. Sens.},
volume = {13},
number = {9},
pages = {1689},
year = {2021},
url = {https://doi.org/10.3390/rs13091689},
doi = {10.3390/RS13091689},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/LinGCSZYX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/staeors/ZhengJGCSXX21,
author = {Xiaorou Zheng and
Jianxin Jia and
Shanxin Guo and
Jinsong Chen and
Luyi Sun and
Yingfei Xiong and
Wenna Xu},
title = {Full Parameter Time Complexity {(FPTC):} {A} Method to Evaluate the
Running Time of Machine Learning Classifiers for Land Use/Land Cover
Classification},
journal = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
volume = {14},
pages = {2222--2235},
year = {2021},
url = {https://doi.org/10.1109/JSTARS.2021.3050166},
doi = {10.1109/JSTARS.2021.3050166},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/staeors/ZhengJGCSXX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/GaoWDJXR21,
author = {Xiang Gao and
Bo Wang and
Gregory J. Duck and
Ruyi Ji and
Yingfei Xiong and
Abhik Roychoudhury},
title = {Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {30},
number = {2},
pages = {14:1--14:27},
year = {2021},
url = {https://doi.org/10.1145/3418461},
doi = {10.1145/3418461},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/GaoWDJXR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChenWHXZZX21,
author = {Junjie Chen and
Guancheng Wang and
Dan Hao and
Yingfei Xiong and
Hongyu Zhang and
Lu Zhang and
Bing Xie},
title = {Coverage Prediction for Accelerating Compiler Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {2},
pages = {261--278},
year = {2021},
url = {https://doi.org/10.1109/TSE.2018.2889771},
doi = {10.1109/TSE.2018.2889771},
timestamp = {Mon, 20 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/ChenWHXZZX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZouLXEZ21,
author = {Daming Zou and
Jingjing Liang and
Yingfei Xiong and
Michael D. Ernst and
Lu Zhang},
title = {An Empirical Study of Fault Localization Families and Their Combinations},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {2},
pages = {332--347},
year = {2021},
url = {https://doi.org/10.1109/TSE.2019.2892102},
doi = {10.1109/TSE.2019.2892102},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/ZouLXEZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/LiangJJZL0021,
author = {Jingjing Liang and
Ruyi Ji and
Jiajun Jiang and
Shurui Zhou and
Yiling Lou and
Yingfei Xiong and
Gang Huang},
title = {Interactive Patch Filtering as Debugging Aid},
booktitle = {{IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2021, Luxembourg, September 27 - October 1, 2021},
pages = {239--250},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSME52107.2021.00028},
doi = {10.1109/ICSME52107.2021.00028},
timestamp = {Mon, 29 Nov 2021 16:15:48 +0100},
biburl = {https://dblp.org/rec/conf/icsm/LiangJJZL0021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LiJB0Z21,
author = {Xia Li and
Jiajun Jiang and
Samuel Benton and
Yingfei Xiong and
Lingming Zhang},
title = {A Large-scale Study on {API} Misuses in the Wild},
booktitle = {14th {IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2021, Porto de Galinhas, Brazil, April 12-16, 2021},
pages = {241--252},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICST49551.2021.00034},
doi = {10.1109/ICST49551.2021.00034},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/LiJB0Z21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WangLXL21,
author = {Bo Wang and
Sirui Lu and
Yingfei Xiong and
Feng Liu},
title = {Faster Mutation Analysis with Fewer Processes and Smaller Overheads},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {381--393},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678827},
doi = {10.1109/ASE51524.2021.9678827},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WangLXL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChenYZXTWZ21,
author = {Yifan Chen and
Chenyang Yang and
Xin Zhang and
Yingfei Xiong and
Hao Tang and
Xiaoyin Wang and
Lu Zhang},
editor = {Cezara Dragoi and
Suvam Mukherjee and
Kedar S. Namjoshi},
title = {Accelerating Program Analyses in Datalog by Merging Library Facts},
booktitle = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
IL, USA, October 17-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12913},
pages = {77--101},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88806-0\_4},
doi = {10.1007/978-3-030-88806-0\_4},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChenYZXTWZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WangS00021,
author = {Guancheng Wang and
Ruobing Shen and
Junjie Chen and
Yingfei Xiong and
Lu Zhang},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Probabilistic Delta debugging},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {881--892},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468625},
doi = {10.1145/3468264.3468625},
timestamp = {Mon, 20 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/WangS00021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhuSXZY0Z21,
author = {Qihao Zhu and
Zeyu Sun and
Yuan{-}an Xiao and
Wenjie Zhang and
Kang Yuan and
Yingfei Xiong and
Lu Zhang},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {A syntax-guided edit decoder for neural program repair},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {341--353},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468544},
doi = {10.1145/3468264.3468544},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhuSXZY0Z21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-11485,
author = {Zeyu Sun and
Wenjie Zhang and
Lili Mou and
Qihao Zhu and
Yingfei Xiong and
Lu Zhang},
title = {Dynamic Labeling for Unlabeled Graph Neural Networks},
journal = {CoRR},
volume = {abs/2102.11485},
year = {2021},
url = {https://arxiv.org/abs/2102.11485},
eprinttype = {arXiv},
eprint = {2102.11485},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-11485.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-14467,
author = {Ruyi Ji and
Jingtao Xia and
Yingfei Xiong and
Zhenjiang Hu},
title = {Occam Learning Meets Synthesis Through Unification},
journal = {CoRR},
volume = {abs/2105.14467},
year = {2021},
url = {https://arxiv.org/abs/2105.14467},
eprinttype = {arXiv},
eprint = {2105.14467},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-14467.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-08253,
author = {Qihao Zhu and
Zeyu Sun and
Yuan{-}an Xiao and
Wenjie Zhang and
Kang Yuan and
Yingfei Xiong and
Lu Zhang},
title = {Syntax Guided Neural Program Repair},
journal = {CoRR},
volume = {abs/2106.08253},
year = {2021},
url = {https://arxiv.org/abs/2106.08253},
eprinttype = {arXiv},
eprint = {2106.08253},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-08253.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-12144,
author = {Qingyuan Liang and
Zeyu Sun and
Qihao Zhu and
Wenjie Zhang and
Lian Yu and
Yingfei Xiong and
Lu Zhang},
title = {Lyra: {A} Benchmark for Turducken-Style Code Generation},
journal = {CoRR},
volume = {abs/2108.12144},
year = {2021},
url = {https://arxiv.org/abs/2108.12144},
eprinttype = {arXiv},
eprint = {2108.12144},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-12144.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/JiS0H20,
author = {Ruyi Ji and
Yican Sun and
Yingfei Xiong and
Zhenjiang Hu},
title = {Guiding dynamic programing via structural probability for accelerating
programming by example},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {224:1--224:29},
year = {2020},
url = {https://doi.org/10.1145/3428292},
doi = {10.1145/3428292},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/JiS0H20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ZouZXFZS20,
author = {Daming Zou and
Muhan Zeng and
Yingfei Xiong and
Zhoulai Fu and
Lu Zhang and
Zhendong Su},
title = {Detecting floating-point errors via atomic conditions},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {60:1--60:27},
year = {2020},
url = {https://doi.org/10.1145/3371128},
doi = {10.1145/3371128},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ZouZXFZS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/XiongGCDSZX20,
author = {Yingfei Xiong and
Shanxin Guo and
Jinsong Chen and
Xinping Deng and
Luyi Sun and
Xiaorou Zheng and
Wenna Xu},
title = {Improved {SRGAN} for Remote Sensing Image SuperResolution Across Locations
and Sensors},
journal = {Remote. Sens.},
volume = {12},
number = {8},
pages = {1263},
year = {2020},
url = {https://doi.org/10.3390/rs12081263},
doi = {10.3390/RS12081263},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/XiongGCDSZX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/XuDGCSZXSW20,
author = {Wenna Xu and
Xinping Deng and
Shanxin Guo and
Jinsong Chen and
Luyi Sun and
Xiaorou Zheng and
Yingfei Xiong and
Yuan Shen and
Xiaoqin Wang},
title = {High-Resolution U-Net: Preserving Image Details for Cultivated Land
Extraction},
journal = {Sensors},
volume = {20},
number = {15},
pages = {4064},
year = {2020},
url = {https://doi.org/10.3390/s20154064},
doi = {10.3390/S20154064},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/XuDGCSZXSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/staeors/ZhangDLLXCZ20,
author = {Ruihao Zhang and
Ruru Deng and
Yingfei Liu and
Yeheng Liang and
Longhai Xiong and
Bin Cao and
Wenzhi Zhang},
title = {Developing New Colored Dissolved Organic Matter Retrieval Algorithms
Based on Sparse Learning},
journal = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
volume = {13},
pages = {3478--3492},
year = {2020},
url = {https://doi.org/10.1109/JSTARS.2020.3003593},
doi = {10.1109/JSTARS.2020.3003593},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/staeors/ZhangDLLXCZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/HuangHJCXZ20,
author = {Yuan Huang and
Xinyu Hu and
Nan Jia and
Xiangping Chen and
Yingfei Xiong and
Zibin Zheng},
title = {Learning Code Context Information to Predict Comment Locations},
journal = {{IEEE} Trans. Reliab.},
volume = {69},
number = {1},
pages = {88--105},
year = {2020},
url = {https://doi.org/10.1109/TR.2019.2931725},
doi = {10.1109/TR.2019.2931725},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/HuangHJCXZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SunZXSMZ20,
author = {Zeyu Sun and
Qihao Zhu and
Yingfei Xiong and
Yican Sun and
Lili Mou and
Lu Zhang},
title = {TreeGen: {A} Tree-Based Transformer Architecture for Code Generation},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {8984--8991},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i05.6430},
doi = {10.1609/AAAI.V34I05.6430},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SunZXSMZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangSZLCXZ20,
author = {Wenjie Zhang and
Zeyu Sun and
Qihao Zhu and
Ge Li and
Shaowei Cai and
Yingfei Xiong and
Lu Zhang},
editor = {Christian Bessiere},
title = {NLocalSAT: Boosting Local Search with Solution Prediction},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1177--1183},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/164},
doi = {10.24963/IJCAI.2020/164},
timestamp = {Tue, 15 Oct 2024 16:43:28 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ZhangSZLCXZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhuSLXZ20,
author = {Qihao Zhu and
Zeyu Sun and
Xiran Liang and
Yingfei Xiong and
Lu Zhang},
title = {OCoR: An Overlapping-Aware Code Retriever},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {883--894},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416530},
doi = {10.1145/3324884.3416530},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ZhuSLXZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JiLXZH20,
author = {Ruyi Ji and
Jingjing Liang and
Yingfei Xiong and
Lu Zhang and
Zhenjiang Hu},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Question selection for interactive program synthesis},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1143--1158},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386025},
doi = {10.1145/3385412.3386025},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/JiLXZH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JiangL0LZK00GXD20,
author = {Jiajun Jiang and
Weihai Lu and
Junjie Chen and
Qingwei Lin and
Pu Zhao and
Yu Kang and
Hongyu Zhang and
Yingfei Xiong and
Feng Gao and
Zhangwei Xu and
Yingnong Dang and
Dongmei Zhang},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {How to mitigate the incident? an effective troubleshooting guide recommendation
technique for online service systems},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {1410--1420},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3417054},
doi = {10.1145/3368089.3417054},
timestamp = {Fri, 29 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/JiangL0LZK00GXD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WangWZYG020,
author = {Jie Wang and
Yunguang Wu and
Gang Zhou and
Yiming Yu and
Zhenyu Guo and
Yingfei Xiong},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {Scaling static taint analysis to industrial {SOA} applications: a
case study at Alibaba},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {1477--1486},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3417059},
doi = {10.1145/3368089.3417059},
timestamp = {Wed, 14 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/WangWZYG020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhangRC0C020,
author = {Yuhao Zhang and
Luyao Ren and
Liqian Chen and
Yingfei Xiong and
Shing{-}Chi Cheung and
Tao Xie},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {Detecting numerical bugs in neural network architectures},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {826--837},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3409720},
doi = {10.1145/3368089.3409720},
timestamp = {Tue, 05 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhangRC0C020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/ZhangZWTLX20,
author = {Zhaoxu Zhang and
Hengcheng Zhu and
Ming Wen and
Yida Tao and
Yepang Liu and
Yingfei Xiong},
editor = {Kostas Kontogiannis and
Foutse Khomh and
Alexander Chatzigeorgiou and
Marios{-}Eleftherios Fokaefs and
Minghui Zhou},
title = {How Do Python Framework APIs Evolve? An Exploratory Study},
booktitle = {27th {IEEE} International Conference on Software Analysis, Evolution
and Reengineering, {SANER} 2020, London, ON, Canada, February 18-21,
2020},
pages = {81--92},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SANER48275.2020.9054800},
doi = {10.1109/SANER48275.2020.9054800},
timestamp = {Wed, 09 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcre/ZhangZWTLX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-09398,
author = {Wenjie Zhang and
Zeyu Sun and
Qihao Zhu and
Ge Li and
Shaowei Cai and
Yingfei Xiong and
Lu Zhang},
title = {NLocalSAT: Boosting Local Search with Solution Prediction},
journal = {CoRR},
volume = {abs/2001.09398},
year = {2020},
url = {https://arxiv.org/abs/2001.09398},
eprinttype = {arXiv},
eprint = {2001.09398},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-09398.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-08746,
author = {Jingjing Liang and
Ruyi Ji and
Jiajun Jiang and
Yiling Lou and
Yingfei Xiong and
Gang Huang},
title = {Interactive Patch Filtering as Debugging Aid},
journal = {CoRR},
volume = {abs/2004.08746},
year = {2020},
url = {https://arxiv.org/abs/2004.08746},
eprinttype = {arXiv},
eprint = {2004.08746},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-08746.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-05201,
author = {Qihao Zhu and
Zeyu Sun and
Xiran Liang and
Yingfei Xiong and
Lu Zhang},
title = {OCoR: An Overlapping-Aware Code Retriever},
journal = {CoRR},
volume = {abs/2008.05201},
year = {2020},
url = {https://arxiv.org/abs/2008.05201},
eprinttype = {arXiv},
eprint = {2008.05201},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-05201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/JiangXX19,
author = {Jiajun Jiang and
Yingfei Xiong and
Xin Xia},
title = {A manual inspection of Defects4J bugs and its implications for automatic
program repair},
journal = {Sci. China Inf. Sci.},
volume = {62},
number = {10},
pages = {200102:1--200102:16},
year = {2019},
url = {https://doi.org/10.1007/s11432-018-1465-6},
doi = {10.1007/S11432-018-1465-6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/JiangXX19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/RoychoudhuryX19,
author = {Abhik Roychoudhury and
Yingfei Xiong},
title = {Automated program repair: a step towards software automation},
journal = {Sci. China Inf. Sci.},
volume = {62},
number = {10},
pages = {200103:1--200103:3},
year = {2019},
url = {https://doi.org/10.1007/s11432-019-9947-6},
doi = {10.1007/S11432-019-9947-6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/RoychoudhuryX19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/HuangLMLZX19,
author = {Gang Huang and
Xuanzhe Liu and
Yun Ma and
Xuan Lu and
Ying Zhang and
Yingfei Xiong},
title = {Programming Situational Mobile Web Applications with Cloud-Mobile
Convergence: An Internetware-Oriented Approach},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {12},
number = {1},
pages = {6--19},
year = {2019},
url = {https://doi.org/10.1109/TSC.2016.2587260},
doi = {10.1109/TSC.2016.2587260},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsc/HuangLMLZX19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SunZMXLZ19,
author = {Zeyu Sun and
Qihao Zhu and
Lili Mou and
Yingfei Xiong and
Ge Li and
Lu Zhang},
title = {A Grammar-Based Structural {CNN} Decoder for Code Generation},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {7055--7062},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33017055},
doi = {10.1609/AAAI.V33I01.33017055},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SunZMXLZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LiangHZ0X019,
author = {Jingjing Liang and
Yaozong Hou and
Shurui Zhou and
Junjie Chen and
Yingfei Xiong and
Gang Huang},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {How to Explain a Patch: An Empirical Study of Patch Explanations in
Open Source Projects},
booktitle = {30th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2019, Berlin, Germany, October 28-31, 2019},
pages = {58--69},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSRE.2019.00016},
doi = {10.1109/ISSRE.2019.00016},
timestamp = {Mon, 28 Dec 2020 11:31:03 +0100},
biburl = {https://dblp.org/rec/conf/issre/LiangHZ0X019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/0003WHX0019,
author = {Junjie Chen and
Guancheng Wang and
Dan Hao and
Yingfei Xiong and
Hongyu Zhang and
Lu Zhang},
title = {History-Guided Configuration Diversification for Compiler Test-Program
Generation},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {305--316},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00037},
doi = {10.1109/ASE.2019.00037},
timestamp = {Mon, 20 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/0003WHX0019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/JiangRXZ19,
author = {Jiajun Jiang and
Luyao Ren and
Yingfei Xiong and
Lingming Zhang},
title = {Inferring Program Transformations From Singular Examples via Big Code},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {255--266},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00033},
doi = {10.1109/ASE.2019.00033},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/JiangRXZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/JiangWXCZ19,
author = {Jiajun Jiang and
Ran Wang and
Yingfei Xiong and
Xiangping Chen and
Lu Zhang},
title = {Combining Spectrum-Based Fault Localization and Statistical Debugging:
An Empirical Study},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {502--514},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00054},
doi = {10.1109/ASE.2019.00054},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/JiangWXCZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-09983,
author = {Zeyu Sun and
Qihao Zhu and
Yingfei Xiong and
Yican Sun and
Lili Mou and
Lu Zhang},
title = {TreeGen: {A} Tree-Based Transformer Architecture for Code Generation},
journal = {CoRR},
volume = {abs/1911.09983},
year = {2019},
url = {http://arxiv.org/abs/1911.09983},
eprinttype = {arXiv},
eprint = {1911.09983},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-09983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HuangJZCXL18,
author = {Yuan Huang and
Nan Jia and
Qiang Zhou and
Xiangping Chen and
Yingfei Xiong and
Xiaonan Luo},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Guiding developers to make informative commenting decisions in source
code},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {260--261},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3194960},
doi = {10.1145/3183440.3194960},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/HuangJZCXL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/XiongLZ0018,
author = {Yingfei Xiong and
Xinyuan Liu and
Muhan Zeng and
Lu Zhang and
Gang Huang},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Identifying patch correctness in test-based program repair},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {789--799},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180182},
doi = {10.1145/3180155.3180182},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/XiongLZ0018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/XiongWFZ18,
author = {Yingfei Xiong and
Bo Wang and
Guirong Fu and
Linfei Zang},
editor = {Justyna Petke and
Kathryn T. Stolee and
William B. Langdon and
Westley Weimer},
title = {Learning to synthesize},
booktitle = {Proceedings of the 4th International Genetic Improvement Workshop,
GI@ICSE 2018, Gothenburg, Sweden, June 2, 2018},
pages = {37--44},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194810.3194816},
doi = {10.1145/3194810.3194816},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/XiongWFZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhouSLXWK18,
author = {Shurui Zhou and
Stefan Stanciulescu and
Olaf Le{\ss}enich and
Yingfei Xiong and
Andrzej Wasowski and
Christian K{\"{a}}stner},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Identifying features in forks},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {105--116},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180205},
doi = {10.1145/3180155.3180205},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhouSLXWK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/YueGMXWM18,
author = {Ruru Yue and
Zhe Gao and
Na Meng and
Yingfei Xiong and
Xiaoyin Wang and
J. David Morgenthaler},
title = {Automatic Clone Recommendation for Refactoring Based on the Present
and the Past},
booktitle = {2018 {IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2018, Madrid, Spain, September 23-29, 2018},
pages = {115--126},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICSME.2018.00021},
doi = {10.1109/ICSME.2018.00021},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/YueGMXWM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JiangXZGC18,
author = {Jiajun Jiang and
Yingfei Xiong and
Hongyu Zhang and
Qing Gao and
Xiangqun Chen},
editor = {Frank Tip and
Eric Bodden},
title = {Shaping program repair space with existing patches and similar code},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {298--309},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213871},
doi = {10.1145/3213846.3213871},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/JiangXZGC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangCCXZ18,
author = {Yuhao Zhang and
Yifan Chen and
Shing{-}Chi Cheung and
Yingfei Xiong and
Lu Zhang},
editor = {Frank Tip and
Eric Bodden},
title = {An empirical study on TensorFlow program bugs},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {129--140},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213866},
doi = {10.1145/3213846.3213866},
timestamp = {Tue, 05 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ZhangCCXZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sate/2018,
editor = {Lei Bu and
Yingfei Xiong},
title = {Software Analysis, Testing, and Evolution - 8th International Conference,
{SATE} 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11293},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-04272-1},
doi = {10.1007/978-3-030-04272-1},
isbn = {978-3-030-04271-4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sate/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-07608,
author = {Yingfei Xiong and
Bo Wang and
Guirong Fu and
Linfei Zang},
title = {Learning to Synthesize},
journal = {CoRR},
volume = {abs/1802.07608},
year = {2018},
url = {http://arxiv.org/abs/1802.07608},
eprinttype = {arXiv},
eprint = {1802.07608},
timestamp = {Fri, 09 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-07608.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-09939,
author = {Daming Zou and
Jingjing Liang and
Yingfei Xiong and
Michael D. Ernst and
Lu Zhang},
title = {An Empirical Study of Fault Localization Families and Their Combinations},
journal = {CoRR},
volume = {abs/1803.09939},
year = {2018},
url = {http://arxiv.org/abs/1803.09939},
eprinttype = {arXiv},
eprint = {1803.09939},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-09939.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-11184,
author = {Ruru Yue and
Zhe Gao and
Na Meng and
Yingfei Xiong and
Xiaoyin Wang and
J. David Morgenthaler},
title = {Automatic Clone Recommendation for Refactoring Based on the Present
and the Past},
journal = {CoRR},
volume = {abs/1807.11184},
year = {2018},
url = {http://arxiv.org/abs/1807.11184},
eprinttype = {arXiv},
eprint = {1807.11184},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-11184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06837,
author = {Zeyu Sun and
Qihao Zhu and
Lili Mou and
Yingfei Xiong and
Ge Li and
Lu Zhang},
title = {A Grammar-Based Structural {CNN} Decoder for Code Generation},
journal = {CoRR},
volume = {abs/1811.06837},
year = {2018},
url = {http://arxiv.org/abs/1811.06837},
eprinttype = {arXiv},
eprint = {1811.06837},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06837.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsse/YuKYHWXF17,
author = {Yijun Yu and
Haruhiko Kaiya and
Nobukazu Yoshioka and
Zhenjiang Hu and
Hironori Washizaki and
Yingfei Xiong and
Amin Hosseinian Far},
title = {Goal Modelling for Security Problem Matching and Pattern Enforcement},
journal = {Int. J. Secur. Softw. Eng.},
volume = {8},
number = {3},
pages = {42--57},
year = {2017},
url = {https://doi.org/10.4018/IJSSE.2017070103},
doi = {10.4018/IJSSE.2017070103},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsse/YuKYHWXF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/HuangZCXLL17,
author = {Yuan Huang and
Qiaoyang Zheng and
Xiangping Chen and
Yingfei Xiong and
Zhiyong Liu and
Xiaonan Luo},
editor = {Ayse Bener and
Burak Turhan and
Stefan Biffl},
title = {Mining Version Control System for Automatically Generating Commit
Comment},
booktitle = {2017 {ACM/IEEE} International Symposium on Empirical Software Engineering
and Measurement, {ESEM} 2017, Toronto, ON, Canada, November 9-10,
2017},
pages = {414--423},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ESEM.2017.56},
doi = {10.1109/ESEM.2017.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/HuangZCXLL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/TangWXZW017,
author = {Hao Tang and
Di Wang and
Yingfei Xiong and
Lingming Zhang and
Xiaoyin Wang and
Lu Zhang},
editor = {Hongseok Yang},
title = {Conditional Dyck-CFL Reachability Analysis for Complete and Efficient
Library Summarization},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
{ESOP} 2017, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10201},
pages = {880--908},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54434-1\_33},
doi = {10.1007/978-3-662-54434-1\_33},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/TangWXZW017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChenBHXZX17,
author = {Junjie Chen and
Yanwei Bai and
Dan Hao and
Yingfei Xiong and
Hongyu Zhang and
Bing Xie},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Learning to prioritize test programs for compiler testing},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
pages = {700--711},
publisher = {{IEEE} / {ACM}},
year = {2017},
url = {https://doi.org/10.1109/ICSE.2017.70},
doi = {10.1109/ICSE.2017.70},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChenBHXZX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/XiongWYZH0017,
author = {Yingfei Xiong and
Jie Wang and
Runfa Yan and
Jiachen Zhang and
Shi Han and
Gang Huang and
Lu Zhang},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Precise condition synthesis for program repair},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
pages = {416--426},
publisher = {{IEEE} / {ACM}},
year = {2017},
url = {https://doi.org/10.1109/ICSE.2017.45},
doi = {10.1109/ICSE.2017.45},
timestamp = {Wed, 14 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/XiongWYZH0017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/internetware/ChengWXWWZ17,
author = {Yufeng Cheng and
Meng Wang and
Yingfei Xiong and
Zhengkai Wu and
Yiming Wu and
Lu Zhang},
editor = {Hong Mei and
Jian Lyu and
Zhi Jin and
Wenyun Zhao},
title = {Un-preprocessing: Extended {CPP} that works with your tools},
booktitle = {Proceedings of the 9th Asia-Pacific Symposium on Internetware, Internetware
2017, Shanghai, China, September 23 - 23, 2017},
pages = {3:1--3:10},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3131704.3131715},
doi = {10.1145/3131704.3131715},
timestamp = {Tue, 09 May 2023 08:00:06 +0200},
biburl = {https://dblp.org/rec/conf/internetware/ChengWXWWZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WangXSZH17,
author = {Bo Wang and
Yingfei Xiong and
Yangqingwei Shi and
Lu Zhang and
Dan Hao},
editor = {Tevfik Bultan and
Koushik Sen},
title = {Faster mutation analysis via equivalence modulo states},
booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
2017},
pages = {295--306},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092703.3092714},
doi = {10.1145/3092703.3092714},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/WangXSZH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2017a,
editor = {Myra B. Cohen and
Mathieu Acher and
Lidia Fuentes and
Daniel Schall and
Jan Bosch and
Rafael Capilla and
Ebrahim Bagheri and
Yingfei Xiong and
Javier Troya and
Antonio Ruiz Cort{\'{e}}s and
David Benavides},
title = {Proceedings of the 21st International Systems and Software Product
Line Conference, {SPLC} 2017, Volume A, Sevilla, Spain, September
25-29, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106195},
doi = {10.1145/3106195},
isbn = {978-1-4503-5221-5},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/2017a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JiangX17,
author = {Jiajun Jiang and
Yingfei Xiong},
title = {Can defects be fixed with weak test suites? An analysis of 50 defects
from Defects4J},
journal = {CoRR},
volume = {abs/1705.04149},
year = {2017},
url = {http://arxiv.org/abs/1705.04149},
eprinttype = {arXiv},
eprint = {1705.04149},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JiangX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiuZX0017,
author = {Xinyuan Liu and
Muhan Zeng and
Yingfei Xiong and
Lu Zhang and
Gang Huang},
title = {Identifying Patch Correctness in Test-Based Automatic Program Repair},
journal = {CoRR},
volume = {abs/1706.09120},
year = {2017},
url = {http://arxiv.org/abs/1706.09120},
eprinttype = {arXiv},
eprint = {1706.09120},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiuZX0017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WangXSZH17,
author = {Bo Wang and
Yingfei Xiong and
Yangqingwei Shi and
Lu Zhang and
Dan Hao},
title = {Faster Mutation Analysis via Equivalence Modulo States},
journal = {CoRR},
volume = {abs/1702.06689},
year = {2017},
url = {http://arxiv.org/abs/1702.06689},
eprinttype = {arXiv},
eprint = {1702.06689},
timestamp = {Mon, 13 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WangXSZH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/GaoLXHXT0X16,
author = {Qing Gao and
Jun Li and
Yingfei Xiong and
Dan Hao and
Xusheng Xiao and
Kunal Taneja and
Lu Zhang and
Tao Xie},
title = {High-confidence software evolution},
journal = {Sci. China Inf. Sci.},
volume = {59},
number = {7},
pages = {071101:1--071101:19},
year = {2016},
url = {https://doi.org/10.1007/s11432-016-5572-2},
doi = {10.1007/S11432-016-5572-2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/GaoLXHXT0X16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WangJLXLZH16,
author = {Chenglong Wang and
Jiajun Jiang and
Jun Li and
Yingfei Xiong and
Xiangyu Luo and
Lu Zhang and
Zhenjiang Hu},
editor = {Shriram Krishnamurthi and
Benjamin S. Lerner},
title = {Transforming Programs between APIs with Many-to-Many Mappings},
booktitle = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
July 18-22, 2016, Rome, Italy},
series = {LIPIcs},
volume = {56},
pages = {25:1--25:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2016.25},
doi = {10.4230/LIPICS.ECOOP.2016.25},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/WangJLXLZH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChenHHXZ0X16,
author = {Junjie Chen and
Wenxiang Hu and
Dan Hao and
Yingfei Xiong and
Hongyu Zhang and
Lu Zhang and
Bing Xie},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {An empirical comparison of compiler testing techniques},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {180--190},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884878},
doi = {10.1145/2884781.2884878},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChenHHXZ0X16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChenBHXZ0X16,
author = {Junjie Chen and
Yanwei Bai and
Dan Hao and
Yingfei Xiong and
Hongyu Zhang and
Lu Zhang and
Bing Xie},
title = {Test Case Prioritization for Compilers: {A} Text-Vector Based Approach},
booktitle = {2016 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
pages = {266--277},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICST.2016.19},
doi = {10.1109/ICST.2016.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ChenBHXZ0X16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChengWXH016,
author = {Yufeng Cheng and
Meng Wang and
Yingfei Xiong and
Dan Hao and
Lu Zhang},
title = {Empirical Evaluation of Test Coverage for Functional Programs},
booktitle = {2016 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
pages = {255--265},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICST.2016.8},
doi = {10.1109/ICST.2016.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ChengWXH016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WangZHXZ016,
author = {Ran Wang and
Daming Zou and
Xinrui He and
Yingfei Xiong and
Lu Zhang and
Gang Huang},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {Detecting and fixing precision-specific operations for measuring floating-point
errors},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {619--630},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950355},
doi = {10.1145/2950290.2950355},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/WangZHXZ016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/XiongWYZH0016,
author = {Yingfei Xiong and
Jie Wang and
Runfa Yan and
Jiachen Zhang and
Shi Han and
Gang Huang and
Lu Zhang},
title = {Precise Condition Synthesis for Program Repair},
journal = {CoRR},
volume = {abs/1608.07754},
year = {2016},
url = {http://arxiv.org/abs/1608.07754},
eprinttype = {arXiv},
eprint = {1608.07754},
timestamp = {Wed, 14 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/XiongWYZH0016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/AnjorinDWX16,
author = {Anthony Anjorin and
Zinovy Diskin and
Meng Wang and
Yingfei Xiong},
title = {Bidirectional Transformations, {(NII} Shonan Meeting 2016-13)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/091/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/AnjorinDWX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/0001EOCDXGE15,
author = {Frank Hermann and
Hartmut Ehrig and
Fernando Orejas and
Krzysztof Czarnecki and
Zinovy Diskin and
Yingfei Xiong and
Susann Gottmann and
Thomas Engel},
title = {Model synchronization based on triple graph grammars: correctness,
completeness and invertibility},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {241--269},
year = {2015},
url = {https://doi.org/10.1007/s10270-012-0309-1},
doi = {10.1007/S10270-012-0309-1},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/0001EOCDXGE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/XiongZHSWC15,
author = {Yingfei Xiong and
Hansheng Zhang and
Arnaud Hubaux and
Steven She and
Jie Wang and
Krzysztof Czarnecki},
title = {Range Fixes: Interactive Error Resolution for Software Configuration},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {6},
pages = {603--619},
year = {2015},
url = {https://doi.org/10.1109/TSE.2014.2383381},
doi = {10.1109/TSE.2014.2383381},
timestamp = {Tue, 13 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/XiongZHSWC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GaoXMZYZXM15,
author = {Qing Gao and
Yingfei Xiong and
Yaqing Mi and
Lu Zhang and
Weikun Yang and
Zhaoping Zhou and
Bing Xie and
Hong Mei},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Safe Memory-Leak Fixing for {C} Programs},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {459--470},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.64},
doi = {10.1109/ICSE.2015.64},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GaoXMZYZXM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZouWXZSM15,
author = {Daming Zou and
Ran Wang and
Yingfei Xiong and
Lu Zhang and
Zhendong Su and
Hong Mei},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {529--539},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.70},
doi = {10.1109/ICSE.2015.70},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZouWXZSM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GaoZWXZM15,
author = {Qing Gao and
Hansheng Zhang and
Jie Wang and
Yingfei Xiong and
Lu Zhang and
Hong Mei},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Fixing Recurring Crash Bugs via Analyzing Q{\&}A Sites {(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {307--318},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.81},
doi = {10.1109/ASE.2015.81},
timestamp = {Wed, 14 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/GaoZWXZM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LiWXH15,
author = {Jun Li and
Chenglong Wang and
Yingfei Xiong and
Zhenjiang Hu},
editor = {Kenichi Asai and
Kostis Sagonas},
title = {{SWIN:} Towards Type-Safe Java Program Adaptation between APIs},
booktitle = {Proceedings of the 2015 Workshop on Partial Evaluation and Program
Manipulation, PEPM, Mumbai, India, January 15-17, 2015},
pages = {91--102},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2678015.2682534},
doi = {10.1145/2678015.2682534},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/LiWXH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/XiongH0ZZL15,
author = {Yingfei Xiong and
Dan Hao and
Lu Zhang and
Tao Zhu and
Muyao Zhu and
Tian Lan},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Inner oracles: input-specific assertions on internal states},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {902--905},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2803204},
doi = {10.1145/2786805.2803204},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/XiongH0ZZL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/WangXHZZM14,
author = {Bo Wang and
Yingfei Xiong and
Zhenjiang Hu and
Haiyan Zhao and
Wei Zhang and
Hong Mei},
title = {Interactive Inconsistency Fixing in Feature Modeling},
journal = {J. Comput. Sci. Technol.},
volume = {29},
number = {4},
pages = {724--736},
year = {2014},
url = {https://doi.org/10.1007/s11390-014-1462-5},
doi = {10.1007/S11390-014-1462-5},
timestamp = {Tue, 01 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/WangXHZZM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/Xie0XXH14,
author = {Tao Xie and
Lu Zhang and
Xusheng Xiao and
Yingfei Xiong and
Dan Hao},
title = {Cooperative Software Testing and Analysis: Advances and Challenges},
journal = {J. Comput. Sci. Technol.},
volume = {29},
number = {4},
pages = {713--723},
year = {2014},
url = {https://doi.org/10.1007/s11390-014-1461-6},
doi = {10.1007/S11390-014-1461-6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/Xie0XXH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BrancoXCKV14,
author = {Mois{\'{e}}s Castelo Branco and
Yingfei Xiong and
Krzysztof Czarnecki and
Jochen Malte K{\"{u}}ster and
Hagen V{\"{o}}lzer},
title = {A case study on consistency management of business and {IT} process
models in banking},
journal = {Softw. Syst. Model.},
volume = {13},
number = {3},
pages = {913--940},
year = {2014},
url = {https://doi.org/10.1007/s10270-013-0318-8},
doi = {10.1007/S10270-013-0318-8},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/BrancoXCKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/WongXZHZM14,
author = {Chu{-}Pan Wong and
Yingfei Xiong and
Hongyu Zhang and
Dan Hao and
Lu Zhang and
Hong Mei},
title = {Boosting Bug-Report-Oriented Fault Localization with Segmentation
and Stack-Trace Analysis},
booktitle = {30th {IEEE} International Conference on Software Maintenance and Evolution,
Victoria, BC, Canada, September 29 - October 3, 2014},
pages = {181--190},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICSME.2014.40},
doi = {10.1109/ICSME.2014.40},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsm/WongXZHZM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/internetware/WuSXZZ014,
author = {Yihan Wu and
Hui Song and
Yingfei Xiong and
Zibin Zheng and
Ying Zhang and
Gang Huang},
editor = {Hong Mei and
Jian Lv and
Minghui Zhou and
Charles Zhang},
title = {Model defined fault tolerance in cloud},
booktitle = {Proceedings of the 6th Asia-Pacific Symposium on Internetware, Internetware
2014, Hong Kong, China, November 17, 2014},
pages = {116--119},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2677832.2677851},
doi = {10.1145/2677832.2677851},
timestamp = {Wed, 10 Apr 2024 21:01:58 +0200},
biburl = {https://dblp.org/rec/conf/internetware/WuSXZZ014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangCHXXZM14,
author = {Jie Zhang and
Junjie Chen and
Dan Hao and
Yingfei Xiong and
Bing Xie and
Lu Zhang and
Hong Mei},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {Search-based inference of polynomial metamorphic relations},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {701--712},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2642994},
doi = {10.1145/2642937.2642994},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ZhangCHXXZM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/WangHSZXZM13,
author = {Bo Wang and
Zhenjiang Hu and
Qiang Sun and
Haiyan Zhao and
Yingfei Xiong and
Wei Zhang and
Hong Mei},
title = {Supporting feature model refinement with updatable view},
journal = {Frontiers Comput. Sci.},
volume = {7},
number = {2},
pages = {257--271},
year = {2013},
url = {https://doi.org/10.1007/s11704-013-2047-0},
doi = {10.1007/S11704-013-2047-0},
timestamp = {Tue, 01 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/WangHSZXZM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/XiongSHT13,
author = {Yingfei Xiong and
Hui Song and
Zhenjiang Hu and
Masato Takeichi},
title = {Synchronizing concurrent model updates based on bidirectional transformation},
journal = {Softw. Syst. Model.},
volume = {12},
number = {1},
pages = {89--104},
year = {2013},
url = {https://doi.org/10.1007/s10270-010-0187-3},
doi = {10.1007/S10270-010-0187-3},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/XiongSHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/LiXLZ13,
author = {Jun Li and
Yingfei Xiong and
Xuanzhe Liu and
Lu Zhang},
title = {How Does Web Service {API} Evolution Affect Clients?},
booktitle = {2013 {IEEE} 20th International Conference on Web Services, Santa Clara,
CA, USA, June 28 - July 3, 2013},
pages = {300--307},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICWS.2013.48},
doi = {10.1109/ICWS.2013.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/LiXLZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/WuZX0013,
author = {Yihan Wu and
Ying Zhang and
Yingfei Xiong and
Xiaodong Zhang and
Gang Huang},
editor = {Nelly Bencomo and
Robert B. France and
Sebastian G{\"{o}}tz and
Bernhard Rumpe},
title = {Towards RSA-based {HA} configuration in Cloud},
booktitle = {Proceedings of the 8th Workshop on Models @ Run.time co-located with
16th International Conference on Model Driven Engineering Languages
and Systems {(MODELS} 2013), Miami, FL, USA, September 29, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1079},
pages = {96--102},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1079/mrt13\_submission\_14.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/WuZX0013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/WangPXCZ013,
author = {Bo Wang and
Leonardo Teixeira Passos and
Yingfei Xiong and
Krzysztof Czarnecki and
Haiyan Zhao and
Wei Zhang},
editor = {Tomoji Kishi and
Stan Jarzabek and
Stefania Gnesi},
title = {SmartFixer: fixing software configurations based on dynamic priorities},
booktitle = {17th International Software Product Line Conference, {SPLC} 2013,
Tokyo, Japan - August 26 - 30, 2013},
pages = {82--90},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491627.2491640},
doi = {10.1145/2491627.2491640},
timestamp = {Tue, 01 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/WangPXCZ013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/XiongHSC12,
author = {Yingfei Xiong and
Arnaud Hubaux and
Steven She and
Krzysztof Czarnecki},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Generating range fixes for software configuration},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {58--68},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227206},
doi = {10.1109/ICSE.2012.6227206},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/XiongHSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/Song0XS12,
author = {Hui Song and
Gang Huang and
Yingfei Xiong and
Yanchun Sun},
title = {Inferring the data access from the clients of generic APIs},
booktitle = {28th {IEEE} International Conference on Software Maintenance, {ICSM}
2012, Trento, Italy, September 23-28, 2012},
pages = {388--397},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSM.2012.6405297},
doi = {10.1109/ICSM.2012.6405297},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/Song0XS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WangZXXM12,
author = {Xiaoyin Wang and
Lu Zhang and
Tao Xie and
Yingfei Xiong and
Hong Mei},
editor = {Will Tracz and
Martin P. Robillard and
Tevfik Bultan},
title = {Automating presentation changes in dynamic web applications via collaborative
hybrid analysis},
booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
(FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
pages = {16},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2393596.2393614},
doi = {10.1145/2393596.2393614},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/WangZXXM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/HubauxXC12,
author = {Arnaud Hubaux and
Yingfei Xiong and
Krzysztof Czarnecki},
editor = {Ulrich W. Eisenecker and
Sven Apel and
Stefania Gnesi},
title = {A user survey of configuration challenges in Linux and eCos},
booktitle = {Sixth International Workshop on Variability Modelling of Software-Intensive
Systems, Leipzig, Germany, January 25-27, 2012. Proceedings},
pages = {149--155},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2110147.2110164},
doi = {10.1145/2110147.2110164},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/HubauxXC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/DiskinXC11,
author = {Zinovy Diskin and
Yingfei Xiong and
Krzysztof Czarnecki},
title = {From State- to Delta-Based Bidirectional Model Transformations: the
Asymmetric Case},
journal = {J. Object Technol.},
volume = {10},
pages = {6: 1--25},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.a6},
doi = {10.5381/JOT.2011.10.1.A6},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/DiskinXC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/SongHCXHSM11,
author = {Hui Song and
Gang Huang and
Franck Chauvel and
Yingfei Xiong and
Zhenjiang Hu and
Yanchun Sun and
Hong Mei},
title = {Supporting runtime software architecture: {A} bidirectional-transformation-based
approach},
journal = {J. Syst. Softw.},
volume = {84},
number = {5},
pages = {711--723},
year = {2011},
url = {https://doi.org/10.1016/j.jss.2010.12.009},
doi = {10.1016/J.JSS.2010.12.009},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/SongHCXHSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DiskinXCEHO11,
author = {Zinovy Diskin and
Yingfei Xiong and
Krzysztof Czarnecki and
Hartmut Ehrig and
Frank Hermann and
Fernando Orejas},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {From State- to Delta-Based Bidirectional Model Transformations: The
Symmetric Case},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {304--318},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_22},
doi = {10.1007/978-3-642-24485-8\_22},
timestamp = {Sat, 30 Sep 2023 09:53:36 +0200},
biburl = {https://dblp.org/rec/conf/models/DiskinXCEHO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HermannEOCDX11,
author = {Frank Hermann and
Hartmut Ehrig and
Fernando Orejas and
Krzysztof Czarnecki and
Zinovy Diskin and
Yingfei Xiong},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {Correctness of Model Synchronization Based on Triple Graph Grammars},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {668--682},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_49},
doi = {10.1007/978-3-642-24485-8\_49},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/HermannEOCDX11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/PassosBNCXW11,
author = {Leonardo Teixeira Passos and
Thorsten Berger and
Marko Novakovic and
Krzysztof Czarnecki and
Yingfei Xiong and
Andrzej Wasowski},
editor = {Ina Schaefer and
Isabel John and
Klaus Schmid},
title = {A study of non-Boolean constraints in variability models of an embedded
operating system},
booktitle = {Software Product Lines - 15th International Conference, {SPLC} 2011,
Munich, Germany, August 22-26, 2011. Workshop Proceedings (Volume
2)},
pages = {2},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2019136.2019139},
doi = {10.1145/2019136.2019139},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/PassosBNCXW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/BrancoXCWL10,
author = {Mois{\'{e}}s Castelo Branco and
Yingfei Xiong and
Krzysztof Czarnecki and
Janette Wong and
Alex Lau},
editor = {Joanna W. Ng and
Christian Couturier and
Hausi A. M{\"{u}}ller and
Arthur G. Ryman and
Anatol W. Kark},
title = {Effective collaboration and consistency management in business process
modeling},
booktitle = {Proceedings of the 2010 conference of the Centre for Advanced Studies
on Collaborative Research, November 1-4, 2010, Toronto, Ontario, Canada},
pages = {349--350},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1923947.1923985},
doi = {10.1145/1923947.1923985},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cascon/BrancoXCWL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/DiskinXC10,
author = {Zinovy Diskin and
Yingfei Xiong and
Krzysztof Czarnecki},
editor = {Laurence Tratt and
Martin Gogolla},
title = {From State- to Delta-Based Bidirectional Model Transformations},
booktitle = {Theory and Practice of Model Transformations - 3rd International Conference,
ICMT@TOOLS 2010, M{\'{a}}laga, Spain, June 28-July 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6142},
pages = {61--76},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13688-7\_5},
doi = {10.1007/978-3-642-13688-7\_5},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmt/DiskinXC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WangHXZZM10,
author = {Bo Wang and
Zhenjiang Hu and
Yingfei Xiong and
Haiyan Zhao and
Wei Zhang and
Hong Mei},
editor = {Alexander Egyed and
Roberto E. Lopez{-}Herrejon and
Bashar Nuseibeh and
Goetz Botterweck and
Marsha Chechik and
Zhenjiang Hu},
title = {Tolerating Inconsistency in Feature Models},
booktitle = {Proceedings of the 3rd Workshop on Living with Inconsistencies in
Software Development, LWI@ASE 2010, Antwerp, Belgium, September 21st,
2010},
series = {{CEUR} Workshop Proceedings},
volume = {661},
pages = {15--20},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-661/paper4.pdf},
timestamp = {Tue, 01 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/WangHXZZM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DiskinXC10,
author = {Zinovy Diskin and
Yingfei Xiong and
Krzysztof Czarnecki},
editor = {J{\"{u}}rgen Dingel and
Arnor Solberg},
title = {Specifying Overlaps of Heterogeneous Models for Global Consistency
Checking},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6627},
pages = {165--179},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21210-9\_16},
doi = {10.1007/978-3-642-21210-9\_16},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/DiskinXC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DiskinXC10a,
author = {Zinovy Diskin and
Yingfei Xiong and
Krzysztof Czarnecki},
editor = {Jean B{\'{e}}zivin and
Richard Mark Soley and
Antonio Vallecillo},
title = {Specifying overlaps of heterogeneous models for global consistency
checking},
booktitle = {Proceedings of the First International Workshop on Model-Driven Interoperability,
MDI@MoDELS 2010, Oslo, Norway, October 3-5, 2010},
pages = {42--51},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1866272.1866279},
doi = {10.1145/1866272.1866279},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/DiskinXC10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SongHXCSM10,
author = {Hui Song and
Gang Huang and
Yingfei Xiong and
Franck Chauvel and
Yanchun Sun and
Hong Mei},
editor = {Dorina C. Petriu and
Nicolas Rouquette and
{\O}ystein Haugen},
title = {Inferring Meta-models for Runtime System Data from the Clients of
Management APIs},
booktitle = {Model Driven Engineering Languages and Systems - 13th International
Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6395},
pages = {168--182},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16129-2\_13},
doi = {10.1007/978-3-642-16129-2\_13},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/SongHXCSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/WangXHZZM10,
author = {Bo Wang and
Yingfei Xiong and
Zhenjiang Hu and
Haiyan Zhao and
Wei Zhang and
Hong Mei},
editor = {Dorina C. Petriu and
Nicolas Rouquette and
{\O}ystein Haugen},
title = {A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models},
booktitle = {Model Driven Engineering Languages and Systems - 13th International
Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6394},
pages = {181--195},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16145-2\_13},
doi = {10.1007/978-3-642-16145-2\_13},
timestamp = {Tue, 01 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/WangXHZZM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/XiongSHT09,
author = {Yingfei Xiong and
Hui Song and
Zhenjiang Hu and
Masato Takeichi},
editor = {Richard F. Paige},
title = {Supporting Parallel Updates with Bidirectional Model Transformations},
booktitle = {Theory and Practice of Model Transformations - 2nd International Conference,
ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5563},
pages = {213--228},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02408-5\_15},
doi = {10.1007/978-3-642-02408-5\_15},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmt/XiongSHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SongXCHHM09,
author = {Hui Song and
Yingfei Xiong and
Franck Chauvel and
Gang Huang and
Zhenjiang Hu and
Hong Mei},
editor = {Sudipto Ghosh},
title = {Generating Synchronization Engines between Running Systems and Their
Model-Based Views},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6002},
pages = {140--154},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12261-3\_14},
doi = {10.1007/978-3-642-12261-3\_14},
timestamp = {Wed, 26 Jun 2024 17:26:37 +0200},
biburl = {https://dblp.org/rec/conf/models/SongXCHHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/XiongHZSTM09,
author = {Yingfei Xiong and
Zhenjiang Hu and
Haiyan Zhao and
Hui Song and
Masato Takeichi and
Hong Mei},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Supporting automatic model inconsistency fixing},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {315--324},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595757},
doi = {10.1145/1595696.1595757},
timestamp = {Tue, 01 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/XiongHZSTM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/YuKWXHY08,
author = {Yijun Yu and
Haruhiko Kaiya and
Hironori Washizaki and
Yingfei Xiong and
Zhenjiang Hu and
Nobukazu Yoshioka},
editor = {Andy Ozment and
Ketil St{\o}len},
title = {Enforcing a security pattern in stakeholder goal models},
booktitle = {Proceedings of the 4th {ACM} Workshop on Quality of Protection, QoP
2008, Alexandria, VA, USA, October 27, 2008},
pages = {9--14},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1456362.1456366},
doi = {10.1145/1456362.1456366},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/YuKWXHY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XiongLHZTM07,
author = {Yingfei Xiong and
Dongxi Liu and
Zhenjiang Hu and
Haiyan Zhao and
Masato Takeichi and
Hong Mei},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {Towards automatic model synchronization from model transformations},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {164--173},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321657},
doi = {10.1145/1321631.1321657},
timestamp = {Tue, 01 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/XiongLHZTM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-11-11 18:07 CET from data curated 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:
