| 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 (USENIX Security 19, CCF-A) 28th USENIX Security Symposium, 1967-1983, 2019 | 147 | 2019 |
| Code Synthesis for Dataflow-Based Embedded Software Design Z Su, D Wang, Y Yang, Y Jiang, W Chang, L Fang, W Li, J Sun (TCAD 21, CCF-A) IEEE Transactions on Computer-Aided Design of Integrated …, 2021 | 13 | 2021 |
| MDD: A Unified Model-driven Design Framework for Embedded Control Software Z Su, D Wang, Y Yang, Z Yu, W Chang, W Li, A Cui, Y Jiang, J Sun (TCAD 22, CCF-A) IEEE Transactions on Computer-Aided Design of Integrated …, 2022 | 11 | 2022 |
| Mercury: Instruction Pipeline Aware Code Generation for Simulink Models Z Yu, Z Su*, Y Yang, J Liang, Y Jiang, A Cui, W Chang, R Wang (EMSOFT 22, TCAD 22, CCF-A) IEEE Transactions on Computer-Aided Design of …, 2022 | 8 | 2022 |
| PHCG: Optimizing Simulink Code Generation for Embedded System with SIMD Instructions Z Su, D Wang, Z Yu, Y Yang, Y Jiang, R Wang, W Chang, W Li, A Cui, ... (TCAD 23, CCF-A) IEEE Transactions on Computer-Aided Design of Integrated …, 2023 | 6 | 2023 |
| HCG: Optimizing Embedded Code Generation of Simulink with SIMD Instruction Synthesis Z Su, Z Yu, D Wang, Y Yang, Y Jiang, R Wang, W Chang, J Sun (DAC 22, CCF-A) Proceeding of the 59th ACM/IEEE Design Automation Conference, 2022 | 6 | 2022 |
| Formal Design of Multi-Function Vehicle Bus Controller Y Jiang, M Wang, Z Su*, Y Yang, H Wang (TITS 21, CCF-B) IEEE Transactions on Intelligent Transportation Systems 22 …, 2021 | 5 | 2021 |
| Phoenix: Detect and locate resilience issues in blockchain via context-sensitive chaos F Ma, Y Chen, Y Zhou, J Sun, Z Su, Y Jiang, J Sun, H Li (CCS 23, CCF-A) Proceedings of the 2023 ACM SIGSAC Conference on Computer …, 2023 | 4 | 2023 |
| STCG: state-aware test case generation for simulink models Z Su, Z Yu, D Wang, Y Yang, R Wang, W Chang, A Cui, Y Jiang (DAC 23, CCF-A) 2023 60th ACM/IEEE Design Automation Conference, 1-6, 2023 | 4 | 2023 |
| Building Dynamic System Call Sandbox with Partial Order Analysis Q Zhang, C Zhou, Y Xu, Z Yin, M Wang, Z Su, C Sun, Y Jiang, J Sun (OOPSLA 23, CCF-A) Proceedings of the ACM on Programming Languages 7 (2 …, 2023 | 3 | 2023 |
| Data Coverage for Guided Fuzzing M Wang, J Liang, C Zhou, Z Wu, J Fu, Z Su, Q Liao, B Gu, B Wu, Y Jiang (USENIX Security 24, CCF-A) 33rd USENIX Security Symposium, 2024 | 2 | 2024 |
| Code Generation Method of Data Flow Model Based on Branch Marking Z Su, D Wang, Y Yang, M Zhang, Y Jiang, J Sun (JOS 21, CCF-A) Journal of Software 32 (6), 1647-1662, 2021 | 1* | 2021 |
| Test Case Generation for Simulink Models using Model Fuzzing and State Solving Z Su, Z Yu, D Wang, W Chang, B Gu, Y Jiang (ASE 24, CCF-A) International Conference on Automated Software Engineering, 2024 | | 2024 |
| Knight: Optimizing Code Generation for Simulink Models With Loop Reshaping Z Yu, Y Yang, Z Su, R Wang, Y Tao, Y Jiang (TCAD 24, CCF-A) IEEE Transactions on Computer-Aided Design of Integrated …, 2024 | | 2024 |
| HSTCG: State-Aware Simulink Model Test Case Generation with Heuristic Strategy Z Su, Z Yu, D Wang, Y Yang, R Wang, W Chang, A Cui, Y Jiang (TSE 24, CCF-A) IEEE Transactions on Software Engineering, 2024 | | 2024 |
| UWBAD: Towards Effective and Imperceptible Jamming Attacks Against UWB Ranging Systems with COTS Chips Y Yang, Z Wu, Y Zhang, T Chen, J Li, J Yang, W Liu, X Zhang, R Shi, J Li, ... (CCS 24, CCF-A) The 31th ACM Conference on Computer and Communications Security, 2024 | | 2024 |
| CFTCG: Test Case Generation for Simulink Model through Code Based Fuzzing Z Su, Z Yu, D Wang, R Wang, Y Tao, Y Jiang (DAC 24, CCF-A) 2024 61th ACM/IEEE Design Automation Conference, 2024 | | 2024 |
| AccMoS: Accelerating Model Simulation for Simulink via Code Generation Y Cheng, Z Yu, Z Su, T Chen, X Zhang, Y Jiang (DAC 24, CCF-A) 2024 61th ACM/IEEE Design Automation Conference, 2024 | | 2024 |
| Efficient Code Generation for Data-Intensive Simulink Models via Redundancy Elimination Z Yu, Z Su, Y Jiang, A Cui, R Wang (DAC 24, CCF-A) 2024 61th ACM/IEEE Design Automation Conference, 2024 | | 2024 |
