Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification.

Y. Zhang, R. Zhu, Y. Xiong, and T. Xie. ASE, page 38:1-38:12. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yunfan Wei

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matchingM. Zhang. TU München, (2009)

Xianghui Zhang

Le Zhang

Other publications of authors with the same name

Micro-Motion Parameter Extraction for Ballistic Missile with Wideband Radar Using Improved Ensemble EMD Method.N. Zhu, J. Hu, S. Xu, W. Wu, Y. Zhang, and Z. Chen. Remote. Sens., 13 (17): 3545 (2021)On Nash-Stackelberg-Nash Games under Decision-Dependent Uncertainties: Model and Equilibrium.Y. Zhang, F. Liu, Z. Wang, Y. Chen, S. Feng, Q. Wu, and Y. Hou. CoRR, (2022)Comparative analysis on different convolutional neural network (CNN) for classification.R. Zeng, and Y. Zhang. ICISCAE, page 598-601. IEEE, (2022)iComMa: Inverting 3D Gaussians Splatting for Camera Pose Estimation via Comparing and Matching.Y. Sun, X. Wang, Y. Zhang, J. Zhang, C. Jiang, Y. Guo, and F. Wang. CoRR, (2023)Asynchrony-Resilient and Privacy-Preserving Charging Protocol for Plug-in Electric Vehicles.Y. Zhang, F. Liu, Z. Wang, J. Wang, Y. Su, Y. Chen, C. Wang, and Q. Wu. CoRR, (2020)PaxosStore: High-availability Storage Made Practical in WeChat.J. Zheng, Q. Lin, J. Xu, C. Wei, C. Zeng, P. Yang, and Y. Zhang. Proc. VLDB Endow., 10 (12): 1730-1741 (2017)InDepth: Real-time Depth Inpainting for Mobile Augmented Reality.Y. Zhang, T. Scargill, A. Vaishnav, G. Premsankar, M. Francesco, and M. Gorlatova. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 6 (1): 37:1-37:25 (2022)A Miniature Robotic Turtle With Target Tracking and Wireless Charging Systems Based on IPMCs.Q. Sun, J. Han, H. Li, S. Liu, S. Shen, Y. Zhang, and J. Sheng. IEEE Access, (2020)Design and Implementation of Laiwu Black Information Management System Based on ExtJS.D. Chen, P. Liu, Y. Zhang, and H. Ma. CCTA (1), volume 419 of IFIP Advances in Information and Communication Technology, page 478-485. Springer, (2013)Investigation of Acoustic Injection on the MPU6050 Accelerometer.Y. Zhang, H. Li, S. Shen, G. Zhang, Y. Yang, Z. Liu, Q. Xie, C. Gao, P. Zhang, and W. Zhao. Sensors, 19 (14): 3083 (2019)

BibSonomy

Disambiguation of "Zhang, Yunfan"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification.

Please choose a person to relate this publication to

Yunfan Wei

Zhang Zhang

Meng Zhang

Xianghui Zhang

Le Zhang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Zhang, Yunfan"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification.

Please choose a person to relate this publication to

Yunfan Wei

Zhang Zhang

Meng Zhang

Xianghui Zhang

Le Zhang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification.