Fuyuan Zhang

DeepMutation: Mutation Testing of Deep Learning Systems

Lei Ma, Fuyuan Zhang, Jiyuan Sun et al. · 2018 · 362 citations

Engineering, Machine Learning, Mutation Testing +18

Perfectly parallel fairness certification of neural networks

Caterina Urban, Maria Christakis, Valentin Wüstholz et al. · Proceedings of the ACM on Programming Languages · 2020 · 61 citations · Full text

Artificial Intelligence, Parallel Fairness Certification, Engineering +17

Combinatorial Testing for Deep Learning Systems

Lei Ma, Fuyuan Zhang, Minhui Xue et al. · arXiv (Cornell University) · 2018 · 59 citations · Full text

Artificial Intelligence, Convolutional Neural Network, Engineering +16

DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems.

Lei Ma, Felix Juefei-Xu, Jiyuan Sun et al. · arXiv (Cornell University) · 2018 · 47 citations · Full text

Hardware Security, Internal System Logic, Convolutional Neural Network +15

Detecting critical bugs in SMT solvers using blackbox mutational fuzzing

Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz et al. · 2020 · 43 citations · Full text

Software Maintenance, Engineering, Mature Solvers +21