Follow
Yu Jiang
Title
Cited by
Cited by
Year
DLFuzz: differential fuzzing testing of deep learning systems
J Guo, Y Jiang, Y Zhao, Q Chen, J Sun
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
2622018
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
1362019
Vulseeker: a semantic learning based vulnerability seeker for cross-platform binary
J Gao, X Yang, Y Fu, Y Jiang, J Sun
2018 33rd IEEE/ACM International Conference on Automated Software …, 2018
1332018
Data-centered runtime verification of wireless medical cyber-physical system
Y Jiang, H Song, R Wang, M Gu, J Sun, L Sha
IEEE transactions on industrial informatics 13 (4), 1900-1909, 2016
1272016
Leopard: Identifying vulnerable code for vulnerability assessment through program metrics
X Du, B Chen, Y Li, J Guo, Y Zhou, Y Liu, Y Jiang
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
942019
EVMFuzzer: detect EVM vulnerabilities via fuzz testing
Y Fu, M Ren, F Ma, H Shi, X Yang, Y Jiang, H Li, X Shi
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
91*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
912018
S-gram: towards semantic-aware security auditing for ethereum smart contracts
H Liu, C Liu, W Zhao, Y Jiang, J Sun
2018 33rd IEEE/ACM International Conference on Automated Software …, 2018
822018
Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques
Y Jiang, H Zhang, Z Li, Y Deng, X Song, M Gu, J Sun
IEEE Transactions on Industrial Electronics 62 (2), 1270-1278, 2015
772015
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
672018
Bayesian-network-based reliability analysis of PLC systems
Y Jiang, H Zhang, X Song, X Jiao, WNN Hung, M Gu, J Sun
IEEE Transactions on Industrial Electronics 60 (11), 5325-5336, 2013
642013
Empirical evaluation of smart contract testing: what is the best choice?
M Ren, Z Yin, F Ma, Z Xu, Y Jiang, C Sun, H Li, Y Cai
Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021
552021
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks
Y Jiang, H Zhang, H Liu, X Song, WNN Hung, M Gu, J Sun
IEEE Transaction on Parallel and Distributed Systems, 2220-2232, 2015
552015
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
522019
Energy-efficient neural networks using approximate computation reuse
X Jiao, V Akhlaghi, Y Jiang, RK Gupta
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018
522018
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
512022
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
482018
Dependable model-driven development of CPS: From stateflow simulation to verified implementation
Y Jiang, H Song, Y Yang, H Liu, M Gu, Y Guan, J Sun, L Sha
ACM Transactions on Cyber-Physical Systems 3 (1), 1-31, 2018
452018
ICS protocol fuzzing: coverage guided packet crack and generation
Z Luo, F Zuo, Y Shen, X Jiao, W Chang, Y Jiang
2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020
422020
Iterative Metric Learning for Imbalance Data Classification.
N Wang, X Zhao, Y Jiang, Y Gao, K BNRist
IJCAI, 2805-2811, 2018
422018
The system can't perform the operation now. Try again later.
Articles 1–20