Design of mixed synchronous/asynchronous systems with multiple clocks Y Jiang, H Zhang, H Zhang, H Liu, X Song, M Gu, J Sun IEEE Transactions on Parallel and Distributed Systems 26 (8), 2220-2232, 2014 | 55 | 2014 |
Industry practice of coverage-guided enterprise-level DBMS fuzzing M Wang, Z Wu, X Xu, J Liang, C Zhou, H Zhang, Y Jiang 2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021 | 34 | 2021 |
Intelligen: Automatic driver synthesis for fuzz testing M Zhang, J Liu, F Ma, H Zhang, Y Jiang 2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021 | 22* | 2021 |
Tsmart-galsblock: A toolkit for modeling, validation, and synthesis of multi-clocked embedded systems Y Jiang, H Zhang, H Zhang, X Zhao, H Liu, C Sun, X Song, M Gu, J Sun Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 16 | 2014 |
Go-clone: graph-embedding based clone detector for Golang C Wang, J Gao, Y Jiang, Z Xing, H Zhang, W Yin, M Gu, J Sun Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 8 | 2019 |
Model driven design of heterogeneous synchronous embedded systems H Zhang, Y Jiang, H Liu, H Zhang, M Gu, J Sun Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 7 | 2016 |
Modeling a heterogeneous embedded system in coloured Petri nets H Zhang, H Zhang, M Gu, J Sun Journal of Applied Mathematics 2014, 2014 | 5 | 2014 |
Escape from escape analysis of Golang C Wang, M Zhang, Y Jiang, H Zhang, Z Xing, M Gu Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 4 | 2020 |
Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. H Zhang, Y Jiang, H Liu, M Gu, J Sun D&P@ MoDELS, 32-39, 2016 | 2 | 2016 |
Taming interrupts for verifying industrial multifunction vehicle bus controllers H Liu, Y Jiang, H Zhang, M Gu, J Sun FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016 | 2 | 2016 |
Committable: A Decentralised and Trustless Open-Source Protocol H Liu, H Zhang, B Chen, AW Roscoe 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-2, 2022 | 1 | 2022 |
Go-Sanitizer: Bug-Oriented Assertion Generation for Golang C Wang, H Sun, Y Xu, Y Jiang, H Zhang, M Gu | 1 | 2019 |