Follow
Mingzhe Wang
Mingzhe Wang
School of Software Engineering, Tsinghua University
Verified email at mails.tsinghua.edu.cn
Title
Cited by
Cited by
Year
{EnFuzz}: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers
Y Chen, Y Jiang, F Ma, J Liang, M Wang, C Zhou, X Jiao, Z Su
28th USENIX Security Symposium (USENIX Security 19), 1967-1983, 2019
85*2019
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing
M Wang, J Liang, Y Chen, Y Jiang, X Jiao, H Liu, X Zhao, J Sun
Proceedings of the 40th International Conference on Software Engineering …, 2018
752018
Pafl: extend fuzzing optimizations of single mode to industrial parallel mode
J Liang, Y Jiang, Y Chen, M Wang, C Zhou, J Sun
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
452018
EVM*: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine
F Ma, Y Fu, M Ren, M Wang, Y Jiang, K Zhang, H Li, X Shi
2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019
332019
Fuzz testing in practice: Obstacles and solutions
J Liang, M Wang, Y Chen, Y Jiang, R Zhang
2018 IEEE 25th International Conference on Software Analysis, Evolution and …, 2018
332018
Deepfuzzer: Accelerated deep greybox fuzzing
J Liang, Y Jiang, M Wang, X Jiao, Y Chen, H Song, KKR Choo
IEEE Transactions on Dependable and Secure Computing 18 (6), 2675-2688, 2019
242019
Finding cracks in shields: On the security of control flow integrity mechanisms
Y Li, M Wang, C Zhang, X Chen, S Yang, Y Liu
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020
172020
Industry practice of coverage-guided enterprise linux kernel fuzzing
H Shi, R Wang, Y Fu, M Wang, X Shi, X Jiao, H Song, Y Jiang, J Sun
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
162019
Uncertainty theory based reliability-centric cyber-physical system design
Y Jiang, M Wang, X Jiao, H Song, H Kong, R Wang, Y Liu, J Wang, J Sun
2019 International Conference on Internet of Things (iThings) and IEEE Green …, 2019
132019
Zeror: Speed up fuzzing with coverage-sensitive tracing and scheduling
C Zhou, M Wang, J Liang, Z Liu, Y Jiang
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
122020
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
102021
PATA: Fuzzing with Path Aware Taint Analysis
J Liang, M Wang, C Zhou, Z Wu, Y Jiang, J Liu, Z Liu, J Sun
2022 2022 IEEE Symposium on Security and Privacy (SP)(SP). IEEE Computer …, 2022
72022
{RIFF}: Reduced Instruction Footprint for {Coverage-Guided} Fuzzing
M Wang, J Liang, C Zhou, Y Jiang, R Wang, C Sun, J Sun
2021 USENIX Annual Technical Conference (USENIX ATC 21), 147-159, 2021
62021
VisFuzz: understanding and intervening fuzzing with interactive visualization
C Zhou, M Wang, J Liang, Z Liu, C Sun, Y Jiang
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
62019
Engineering a better fuzzer with synergically integrated optimizations
J Liang, Y Chen, M Wang, Y Jiang, Z Yang, C Sun, X Jiao, J Sun
2019 IEEE 30th International Symposium on Software Reliability Engineering …, 2019
62019
Security reinforcement for Ethereum virtual machine
F Ma, M Ren, Y Fu, M Wang, H Li, H Song, Y Jiang
Information Processing & Management 58 (4), 102565, 2021
52021
Dependable integrated clinical system architecture with runtime verification
Y Jiang, M Wang, H Liu, M Hosseini, J Sun
2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 951-956, 2017
52017
Unicorn: Detect Runtime Errors in Time-Series Databases With Hybrid Input Synthesis
Z Wu, J Liang, M Wang, C Zhou, Y Jiang
Symposium on Software Testing and Analysis (ISSTA’22), 2022
22022
Formal Design of Multi-Function Vehicle Bus Controller
Y Jiang, M Wang, Z Su, Y Yang, H Wang
IEEE Transactions on Intelligent Transportation Systems 22 (6), 3880-3889, 2021
22021
Industrial Oriented Evaluation of Fuzzing Techniques
M Wang, J Liang, C Zhou, Y Chen, Z Wu, Y Jiang
2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–20