E-LIB Suche - Ergebnisse für: Xiong, Yingfei

1

GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Ne..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,

Zhu, Qihao ; Liang, Qingyuan ; Sun, Zeyu... - p. 1-13 , 2024

Link: https://dl.acm.org/doi/1..

2

Accelerating Patch Validation for Program Repair With Inter..:

Xiao, Yuan-An ; Yang, Chenyang ; Wang, Bo.
IEEE Transactions on Software Engineering. 50 (2024) 3 - p. 618-635 , 2024

Link: https://doi.org/10.1109/..

3

Decomposition-based Synthesis for Applying Divide-and-Conqu..:

Ji, Ruyi ; Zhao, Yuwei ; Xiong, Yingfei...
ACM Transactions on Programming Languages and Systems. 46 (2024) 2 - p. 1-59 , 2024

Link: https://doi.org/10.1145/..

4

Improving Oracle-Guided Inductive Synthesis by Efficient Qu..:

Ji, Ruyi ; Kong, Chaozhe ; Xiong, Yingfei.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 819-847 , 2023

Link: https://doi.org/10.1145/..

5

Toward actionable testing of deep learning models:

Xiong, Yingfei ; Tian, Yongqiang ; Liu, Yepang.
Science China Information Sciences. 66 (2023) 7 - p. , 2023

Link: https://doi.org/10.1007/..

6

Tare: Type-Aware Neural Program Repair:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE),

Zhu, Qihao ; Sun, Zeyu ; Zhang, Wenjie.. - p. 1443-1455 , 2023

Link: https://doi.org/10.1109/..

7

Amplitude modulation ranging achieved by self-sweeping fibe..:

Wang, Kaile ; Wen, Zengrun ; Guo, Wei...
Infrared Physics & Technology. 134 (2023) - p. 104895 , 2023

Link: https://doi.org/10.1016/..

8

OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Zhang, Wenjie ; Wang, Guancheng ; Chen, Junjie... - p. 1200-1211 , 2023

Link: https://doi.org/10.1109/..

9

A Probabilistic Delta Debugging Approach for Abstract Synta..:

, In: 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE),

Wang, Guancheng ; Wu, Yiqian ; Zhu, Qihao... - p. 763-773 , 2023

Link: https://doi.org/10.1109/..

10

Reliability Assurance for Deep Neural Network Architectures..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE),

Li, Linyi ; Zhang, Yuhao ; Ren, Luyao.. - p. 1827-1839 , 2023

Link: https://doi.org/10.1109/..

11

Synthesizing Efficient Memoization Algorithms:

Sun, Yican ; Peng, Xuanyu ; Xiong, Yingfei
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 89-115 , 2023

Link: https://doi.org/10.1145/..

12

ExpressAPR: Efficient Patch Validation for Java Automated P..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Xiao, Yuan-An ; Yang, Chenyang ; Wang, Bo. - p. 2038-2041 , 2023

Link: https://doi.org/10.1109/..

13

L2S: A Framework for Synthesizing the Most Probable Program..:

Xiong, Yingfei ; Wang, Bo
ACM Transactions on Software Engineering and Methodology. 31 (2022) 3 - p. 1-45 , 2022

Link: https://doi.org/10.1145/..

14

Fault localization via efficient probabilistic modeling of ..:

, In: Proceedings of the 44th International Conference on Software Engineering,

Zeng, Muhan ; Wu, Yiqian ; Ye, Zhentao... - p. 958-969 , 2022

Link: https://dl.acm.org/doi/1..

15

Oracle-free repair synthesis for floating-point programs:

Zou, Daming ; Gu, Yuchen ; Shi, Yuanfeng...
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 957-985 , 2022

Link: https://doi.org/10.1145/..