| Deepgauge: Multi-granularity testing criteria for deep learning systems L Ma, F Juefei-Xu, F Zhang, J Sun, M Xue, B Li, C Chen, T Su, L Li, Y Liu, ... Proceedings of the 33rd ACM/IEEE international conference on automated …, 2018 | 812 | 2018 |
| Deepmutation: Mutation testing of deep learning systems L Ma, F Zhang, J Sun, M Xue, B Li, F Juefei-Xu, C Xie, L Li, Y Liu, J Zhao, ... 2018 IEEE 29th international symposium on software reliability engineering …, 2018 | 448 | 2018 |
| Combinatorial testing for deep learning systems L Ma, F Zhang, M Xue, B Li, Y Liu, J Zhao, Y Wang arXiv preprint arXiv:1806.07723, 2018 | 284* | 2018 |
| Perfectly parallel fairness certification of neural networks C Urban, M Christakis, V Wüstholz, F Zhang Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 76 | 2020 |
| Detecting critical bugs in SMT solvers using blackbox mutational fuzzing MN Mansur, M Christakis, V Wüstholz, F Zhang Proceedings of the 28th ACM joint meeting on European software engineering …, 2020 | 64 | 2020 |
| Deepsearch: A simple and effective blackbox attack for deep neural networks F Zhang, SP Chowdhury, M Christakis Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 46* | 2020 |
| Mechanized network origin and path authenticity proofs F Zhang, L Jia, C Basescu, THJ Kim, YC Hu, A Perrig Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014 | 40 | 2014 |
| Finding and understanding bugs in software model checkers C Zhang, T Su, Y Yan, F Zhang, G Pu, Z Su Proceedings of the 2019 27th ACM joint meeting on European software …, 2019 | 38 | 2019 |
| Refinement-based specification and security analysis of separation kernels Y Zhao, D Sanán, F Zhang, Y Liu IEEE Transactions on Dependable and Secure Computing 16 (1), 127-141, 2017 | 35 | 2017 |
| Reasoning about information flow security of separation kernels with channel-based communication Y Zhao, D Sanán, F Zhang, Y Liu Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 31 | 2016 |
| Csimpl: A rely-guarantee-based framework for verifying concurrent programs D Sanán, Y Zhao, Z Hou, F Zhang, A Tiu, Y Liu Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 26 | 2017 |
| Fully automated differential fault analysis on software implementations of block ciphers X Hou, J Breier, F Zhang, Y Liu Cryptology ePrint Archive, 2018 | 23 | 2018 |
| ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks H Qi, Z Wang, Q Guo, J Chen, F Juefei-Xu, F Zhang, L Ma, J Zhao ACM Transactions on Software Engineering and Methodology 32 (5), 1-31, 2023 | 20 | 2023 |
| Formal specification and analysis of partitioning operating systems by integrating ontology and refinement Y Zhao, D Sanán, F Zhang, Y Liu IEEE Transactions on Industrial Informatics 12 (4), 1321-1331, 2016 | 19 | 2016 |
| A security modeling and verification method of embedded software based on Z and MARTE X Hu, Y Zhuang, F Zhang Computers & Security 88, 101615, 2020 | 16 | 2020 |
| A security type verifier for smart contracts X Hu, Y Zhuang, SW Lin, F Zhang, S Kan, Z Cao Computers & Security 108, 102343, 2021 | 13 | 2021 |
| High-assurance separation kernels: a survey on formal methods Y Zhao, D Sanán, F Zhang, Y Liu arXiv preprint arXiv:1701.01535, 2017 | 13 | 2017 |
| Generative model-based testing on decision-making policies Z Li, X Wu, D Zhu, M Cheng, S Chen, F Zhang, X Xie, L Ma, J Zhao 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 12 | 2023 |
| QuraTest: Integrating quantum specific features in quantum program testing J Ye, S Xia, F Zhang, P Arcaini, L Ma, J Zhao, F Ishikawa 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 11 | 2023 |
| A parametric rely-guarantee reasoning framework for concurrent reactive systems Y Zhao, D Sanán, F Zhang, Y Liu International Symposium on Formal Methods, 161-178, 2019 | 9 | 2019 |
