Scholar

Fuyuan Zhang

Google Scholar ID: SYgtDDQAAAAJ

MPI-SWS

Formal Methods and Testing

Google Scholar↗

Citations & Impact

All-time

Citations

2,004

H-index

16

i10-index

20

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

5 items

QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs

2026

Cited

0

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4

2026

Cited

0

Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing

2025

Cited

0

AR2: Attention-Guided Repair for the Robustness of CNNs Against Common Corruptions

2025

Cited

0

Quantum Concolic Testing

2024

Cited

2

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)