Zhang, Fuyuan
- High-Assurance Separation Kernels: A Survey on Formal Methods
2017/01/06 by Yongwang Zhao, David Sanán, Zhao, Yongwang +6 · 2 voices
Computer Science · Engineering · #Distributed systems and fault tolerance #Radiation Effects in Electronics #Security and Verification in Computing #cs.SE
- Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing
2020/04/13 by Muhammad Numair Mansur, Maria Christakis, Mansur, Muhammad Numair +5 · 6 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Perfectly Parallel Fairness Certification of Neural Networks
2019/12/05 by Caterina Urban, Maria Christakis, Urban, Caterina +5 · 5 citations
Computer Science · Social Sciences · #Adversarial Robustness in Machine Learning #Computers and Society (cs.CY) #Ethics and Social Impacts of AI #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Programming Languages (cs.PL)
- Combinatorial Testing for Deep Learning Systems
2018/06/20 by Lei Ma, Ma, Lei, Fuyuan Zhang +11 · 7 citations
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
- Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems
2023/05/06 by Xuan Xie, Xie, Xuan, Jiayang Song +7 · 2 citations
Computer Science · Decision Sciences · Engineering · #FOS: Computer and information sciences #Risk and Safety Analysis #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research
- Quantum Concolic Testing
2024/05/08 by Shangzhou Xia, Jianjun Zhao, Xia, Shangzhou +5 · 3 citations
Computer Science · #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #Software Engineering (cs.SE)
- Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
2025/09/20 by Ye, Jiaming, Wu, Xiongfei, Xia, Shangzhou +2 · 2 citations
#FOS: Computer and information sciences #Software Engineering (cs.SE)