Search

Your search keyword '"Zhang, Fuyuan"' showing total 17 results

Search Constraints

Start Over You searched for: Author "Zhang, Fuyuan" Remove constraint Author: "Zhang, Fuyuan" Database arXiv Remove constraint Database: arXiv
17 results on '"Zhang, Fuyuan"'

Search Results

1. LeCov: Multi-level Testing Criteria for Large Language Models

2. Concolic Testing of Quantum Programs

3. Event-based Compositional Reasoning of Information-Flow Security for Concurrent Systems

4. Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems

5. Towards Benchmarking GUI Compatibility Testing on Mobile Applications

6. DeepGalaxy: Testing Neural Network Verifiers via Two-Dimensional Input Space Exploration

7. Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing

8. Perfectly Parallel Fairness Certification of Neural Networks

9. DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks

10. An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems

11. Combinatorial Testing for Deep Learning Systems

12. DeepMutation: Mutation Testing of Deep Learning Systems

13. DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems

14. Refinement-based Specification and Security Analysis of Separation Kernels

15. High-Assurance Separation Kernels: A Survey on Formal Methods

16. Compositional Reasoning for Shared-variable Concurrent Programs

17. Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication

Catalog

Books, media, physical & digital resources