Seuraa
Zhoulai Fu
Zhoulai Fu
State University of New York (SUNY), Korea
Vahvistettu sähköpostiosoite verkkotunnuksessa sunykorea.ac.kr - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Combining symbolic execution and model checking for data flow testing
T Su, Z Fu, G Pu, J He, Z Su
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
552015
XSat: a fast floating-point satisfiability solver
Z Fu, Z Su
International Conference on Computer Aided Verification, 187-209, 2016
332016
Achieving High Coverage for Floating-point Code via Unconstrained Programming
Z Fu, Z Su
The 38th ACM SIGPLAN Conference on Programming Language Design and …, 2017
242017
Detecting floating-point errors via atomic conditions
D Zou, M Zeng, Y Xiong, Z Fu, L Zhang, Z Su
Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019
182019
Automated backward error analysis for numerical code
Z Fu, Z Bai, Z Su
ACM SIGPLAN Notices 50 (10), 639-654, 2015
182015
Effective floating-point analysis via weak-distance minimization
Z Fu, Z Su
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
102019
Modularly combining numeric abstract domains with points-to analysis, and a scalable static numeric analyzer for Java
Z Fu
International Conference on Verification, Model Checking, and Abstract …, 2014
102014
The forgotten case of the dependency bugs: On the example of the robot operating system
A Fischer-Nielsen, Z Fu, T Su, A Wąsowski
2020 IEEE/ACM 42nd International Conference on Software Engineering …, 2020
42020
Mathematical execution: a unified approach for testing numerical code
Z Fu, Z Su
arXiv preprint arXiv:1610.01133, 2016
42016
Static analysis of numerical properties in the presence of pointers
Z Fu
Université Rennes 1, 2013
22013
Towards Efficient Data-flow Test Data Generation
T Su, C Zhang, Y Yan, L Fan, G Pu, Y Liu, Z Fu, Z Su
arXiv preprint arXiv:1803.10431, 2018
12018
Formally Verified Lifting of C-compiled x86-64 Binaries
BR Freek Verbeek, Joshua Bockenek, Zhoulai Fu
In ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2022
2022
Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version)
Z Fu, Z Su
arXiv preprint arXiv:1704.03394, 2017
2017
Targeted Update–Aggressive Memory Abstraction Beyond Common Sense and its Application on Static Numeric Analysis
Z Fu
European Symposium on Programming Languages and Systems, 534-553, 2014
2014
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–14