Using Coq for formal modeling and verification of timed connectors W Hong, MS Nawaz, X Zhang, Y Li, M Sun Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018 | 13 | 2018 |
Reasoning about connectors in coq X Zhang, W Hong, Y Li, M Sun International Workshop on Formal Aspects of Component Software, 172-190, 2016 | 13 | 2016 |
Graph neural network-based vulnerability predication Q Feng, C Feng, W Hong 2020 IEEE international conference on software maintenance and evolution …, 2020 | 12 | 2020 |
Evaluation of model checkers by verifying message passing programs W Hong, Z Chen, H Yu, J Wang Science China Information Sciences 62, 1-24, 2019 | 11 | 2019 |
Reasoning about connectors using Coq and Z3 X Zhang, W Hong, Y Li, M Sun Science of Computer Programming 170, 27-44, 2019 | 8 | 2019 |
Trace abstraction-based verification for uninterpreted programs W Hong, Z Chen, Y Du, J Wang Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 4 | 2021 |
Styx: A data-oriented mutation framework to improve the robustness of DNN M Liu, W Hong, W Pan, C Feng, Z Chen, J Wang Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 4 | 2020 |
Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution W Hong, Y Liu, Z Chen, W Dong, J Wang Frontiers of Information Technology & Electronic Engineering 21 (9), 1267-1284, 2020 | 3 | 2020 |
Using recurrent neural network to predict tactics for proving component connector properties in Coq X Zhang, Y Li, W Hong, M Sun 2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019 | 3 | 2019 |
Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel C Feng, Z Chen, W Hong, H Yu, W Dong, J Wang arXiv preprint arXiv:1811.07108, 2018 | 3 | 2018 |
Collaborative Verification of Uninterpreted Programs Y Du, W Hong, Z Chen, J Wang International Symposium on Theoretical Aspects of Software Engineering, 148-154, 2022 | 1 | 2022 |
A robustness-oriented data augmentation method for dnn M Liu, W Hong, W Pan, C Feng 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | 1 | 2021 |
Verification of message-passing uninterpreted programs W Hong, Z Chen, Y Zhang, H Yu, Y Du, J Wang Science of Computer Programming 234, 103075, 2024 | | 2024 |
Formal Verification Based Synthesis for Behavior Trees W Hong, Z Chen, M Li, Y Li, P Huang, J Wang International Symposium on Dependable Software Engineering: Theories, Tools …, 2023 | | 2023 |
CSP based Formal Modeling and Verification of Behavior Trees P Huang, W Hong, Z Chen, J Wang 2023 IEEE 23rd International Conference on Software Quality, Reliability …, 2023 | | 2023 |
QRS-C 2021 M Liu, W Hong, W Pan, F Ren, Y Yang | | |