Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. - Hehua Zhang; Yu Jiang 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001 (ICFEM, 2011)

Uncertain Model and Algorithm for Hardware/Software Partitioning. - Yu Jiang 001; Hehua Zhang; Xun Jiao; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (ISVLSI, 2012)

Reliability Analysis of PLC Systems by Bayesian Network. - Hehua Zhang; Yu Jiang 001; Xun Jiao; Xiaoyu Song; William N. N. Hung; Ming Gu 001 (SERE, 2012)

New strategies for reliability analysis of Programmable Logic Controllers. - Hehua Zhang; Yu Jiang 001; William N. N. Hung; Guowu Yang; Ming Gu 001; Jiaguang Sun 001 (Math. Comput. Model., 2012)

Sequential dependency and reliability analysis of embedded systems. - Hehua Zhang; Yu Jiang 001; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (ASP-DAC, 2013)

Verification and Implementation of the Protocol Standard in Train Control System. - Yu Jiang 001; Hehua Zhang; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (COMPSAC, 2013)

Design and optimization of multi-clocked embedded systems using formal technique. - Yu Jiang 001; Zonghui Li; Hehua Zhang; Yangdong Deng; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2013)

System reliability calculation based on the run-time analysis of ladder program. - Yu Jiang 001; Hehua Zhang; Han Liu 010; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2013)

An Effective Heuristic-Based Approach for Partitioning. - Xibin Zhao; Hehua Zhang; Yu Jiang 001; Songzheng Song; Xun Jiao; Ming Gu 001 (J. Appl. Math., 2013)

Bayesian-Network-Based Reliability Analysis of PLC Systems. - Yu Jiang 001; Hehua Zhang; Xiaoyu Song; Xun Jiao; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Ind. Electron., 2013)

Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. - Yu Jiang 001; Hehua Zhang; Huafeng Zhang; Xinyan Zhao; Han Liu 010; Chengnian Sun; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (SIGSOFT FSE, 2014)

Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. - Han Liu 010; Hehua Zhang; Yu Jiang 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (TASE, 2014)

iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. - Han Liu 010; Hehua Zhang; Yu Jiang 001; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (TASE, 2014)

Symbolic Analysis of Programmable Logic Controllers. - Hehua Zhang; Yu Jiang 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (IEEE Trans. Computers, 2014)

Embedded System Design with Reliability-Centric Optimization. - Yuanyuan Hou; Rui Wang 024; Yu Jiang 001; Yong Guan; Xiaojuan Li; Zhiping Shi 002; Jie Zhang 074 (COMPSAC, 2015)

SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces. - Mohammad Hosseini 002; Yu Jiang 001; Po-Liang Wu; Richard B. Berlin Jr.; Lui Sha (ARM@Middleware, 2015)

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques. - Yu Jiang 001; Hehua Zhang; Zonghui Li; Yangdong Deng; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (IEEE Trans. Ind. Electron., 2015)

Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. - Yu Jiang 001; Hehua Zhang; Huafeng Zhang; Han Liu 010; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Parallel Distributed Syst., 2015)

An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity. - Zuxing Gu; Hong Song; Yu Jiang 001; Jeonghone Choi; Hongjiang He; Lui Sha; Ming Gu 001 (BIBM, 2016)

A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient. - Yu Jiang 001; Pengliu Tan; Houbing Song; Binhua Wan; Mohammad Hosseini 002; Lui Sha (CBMS, 2016)

Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. - Yu Jiang 001; Han Liu 010; Houbing Song; Hui Kong 004; Ming Gu 001; Jiaguang Sun 001; Lui Sha (FM, 2016)

Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. - Han Liu 010; Yu Jiang 001; Huafeng Zhang; Ming Gu 001; Jiaguang Sun 001 (FM, 2016)

Discrete Abstraction of Multiaffine Systems. - Hui Kong 004; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu; Thomas A. Henzinger; Yu Jiang 001; Christian Schilling 001 (HSB, 2016)

WILD: A workload-based learning model to predict dynamic delay of functional units. - Xun Jiao; Yu Jiang 001; Abbas Rahimi; Rajesh K. Gupta 001 (ICCD, 2016)

Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. - Chunhui Guo; Shangping Ren; Yu Jiang 001; Po-Liang Wu; Lui Sha; Richard B. Berlin Jr. (ICCPS, 2016)

Use runtime verification to improve the quality of medical care practice. - Yu Jiang 001; Han Liu 010; Hui Kong 004; Rui Wang 024; Mohammad Hosseini 002; Jia-Guang Sun 001; Lui Sha (ICSE (Companion Volume), 2016)

Verifying simulink stateflow model: timed automata approach. - Yixiao Yang; Yu Jiang 001; Ming Gu 001; Jia-Guang Sun 001 (ASE, 2016)

Model driven design of heterogeneous synchronous embedded systems. - Huafeng Zhang; Yu Jiang 001; Han Liu 010; Hehua Zhang; Ming Gu 001; Jia-Guang Sun 001 (ASE, 2016)

Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. - Huafeng Zhang; Yu Jiang 001; Han Liu 010; Ming Gu 001; Jiaguang Sun 001 (D&P@MoDELS, 2016)

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. - Yu Jiang 001; Yixiao Yang; Han Liu 010; Hui Kong 004; Ming Gu 001; Jia-Guang Sun 001; Lui Sha (RTAS, 2016)

Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems. - Andrew Y.-Z. Ou; Yu Jiang 001; Po-Liang Wu; Lui Sha; Richard B. Berlin Jr. (SMC, 2016)

Invariant Clusters for Hybrid Systems. - Hui Kong 004; Sergiy Bogomolov; Christian Schilling 001; Yu Jiang 001; Thomas A. Henzinger (CoRR, 2016)

Model-Driven Design of Clinical Guidance Systems. - Maryam Rahmaniheris; Yu Jiang 001; Lui Sha (CoRR, 2016)

A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. - Mohammad Hosseini 002; Yu Jiang 001; Po-Liang Wu; Richard B. Berlin Jr.; Shangping Ren; Lui Sha (J. Medical Syst., 2016)

Sepsis Patient Detection and Monitor Based on Auto-BN. - Yu Jiang 001; Lui Sha; Maryam Rahmaniheris; Binhua Wan; Mohammad Hosseini 002; Pengliu Tan; Richard B. Berlin Jr. (J. Medical Syst., 2016)

Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study. - Chunhui Guo; Zhicheng Fu; Shangping Ren; Yu Jiang 001; Maryam Rahmaniheris; Lui Sha (CBMS, 2017)

Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport. - Mohammad Hosseini 002; Richard R. Berlin; Yu Jiang 001; Lui Sha (CHASE, 2017)

Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. - Chunhui Guo; Zhicheng Fu; Shangping Ren; Yu Jiang 001; Lui Sha (COMPSAC (1), 2017)

Assertion Recommendation for Formal Program Verification. - Cong Wang 020; Fei He 001; Xiaoyu Song; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001 (COMPSAC (1), 2017)

Modeling and integrating physical environment assumptions in medical cyber-physical system design. - Zhicheng Fu; Chunhui Guo; Shangping Ren; Yu Jiang 001; Lui Sha (DATE, 2017)

Combining structural and timing errors in overclocked inexact speculative adders. - Xun Jiao; Vincent Camus; Mattia Cacciotti; Yu Jiang 001; Christian C. Enz; Rajesh K. Gupta 001 (DATE, 2017)

SLoT: A supervised learning model to predict dynamic timing errors of functional units. - Xun Jiao; Yu Jiang 001; Abbas Rahimi; Rajesh K. Gupta 001 (DATE, 2017)

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters. - Hui Kong 004; Sergiy Bogomolov; Christian Schilling 001; Yu Jiang 001; Thomas A. Henzinger (HSCC, 2017)

Dependable integrated clinical system architecture with runtime verification. - Yu Jiang 001; Mingzhe Wang; Han Liu 010; Mohammad Hosseini 002; Jiaguang Sun 001 (ICCAD, 2017)

Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols. - Andrew Y.-Z. Ou; Maryam Rahmaniheris; Yu Jiang 001; Po-Liang Wu; Lui Sha (ICCAD, 2017)

Study of Software-Related Causes in the FDA Medical Device Recalls. - Zhicheng Fu; Chunhui Guo; Shangping Ren; Yu Jiang 001; Lui Sha (ICECCS, 2017)

Formal Modeling and Automatic Code Synthesis for Robot System. - Xinxin Li; Rui Wang 024; Yu Jiang 001; Yong Guan; Xiaojuan Li; Xiaoyu Song (ICECCS, 2017)

Stochastic optimization of program obfuscation. - Han Liu 010; Chengnian Sun; Zhendong Su 001; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001 (ICSE, 2017)

A static analysis tool with optimizations for reachability determination. - Yuexing Wang; Min Zhou 001; Yu Jiang 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ASE, 2017)

A language model for statements of software code. - Yixiao Yang; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001; Jian Gao 008; Han Liu 010 (ASE, 2017)

A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. - Mohammad Hosseini 002; Yu Jiang 001; Ali Yekkehkhany; Richard R. Berlin; Lui Sha (MMSys, 2017)

Verification of Implementations of Cryptographic Hash Functions. - Dexi Wang; Yu Jiang 001; Houbing Song; Fei He 001; Ming Gu 001; Jiaguang Sun 001 (IEEE Access, 2017)

Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. - Mohammad Hosseini 002; Yu Jiang 001; Richard R. Berlin; Lui Sha; Houbing Song (CoRR, 2017)

Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems. - Andrew Y.-Z. Ou; Yu Jiang 001; Po-Liang Wu; Lui Sha; Richard B. Berlin Jr. (J. Medical Syst., 2017)

Towards coordinated bandwidth adaptations for hundred-scale 3D tele-immersive systems. - Mohammad Hosseini 002; Gregorij Kurillo; Seyed Rasoul Etesami; Yu Jiang 001 (Multim. Syst., 2017)

Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. - Yu Jiang 001; Houbing Song; Rui Wang 024; Ming Gu 001; Jiaguang Sun 001; Lui Sha (IEEE Trans. Ind. Informatics, 2017)

Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. - Mohammad Hosseini 002; Yu Jiang 001; Richard R. Berlin; Lui Sha; Houbing Song (IEEE Trans. Multim., 2017)

Enhanced resilient sensor attack detection using fusion interval and measurement history. - Kang Yang; Rui Wang 024; Yu Jiang 001; Chenxia Luo; Yong Guan; Xiaojuan Li; Zhiping Shi 002 (CODES+ISSS, 2018)

Runtime Verification of Robots Collision Avoidance Case Study. - Chenxia Luo; Rui Wang 024; Yu Jiang 001; Kang Yang; Yong Guan; Xiaojuan Li; Zhiping Shi 002 (COMPSAC (1), 2018)

Energy-efficient neural networks using approximate computation reuse. - Xun Jiao; Vahideh Akhlaghi; Yu Jiang 001; Rajesh K. Gupta 001 (DATE, 2018)

Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. - Cong Wang 020; Yu Jiang 001; Xibin Zhao; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ICSE (Companion Volume), 2018)

SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing. - Mingzhe Wang; Jie Liang 006; Yuanliang Chen; Yu Jiang 001; Xun Jiao; Han Liu 010; Xibin Zhao; Jiaguang Sun 001 (ICSE (Companion Volume), 2018)

Identifying TraIn: a neglected form of socio-technical incongruence. - Xiao Wang 030; Lu Xiao 001; Ye Yang; Xinyi Xu; Yu Jiang 001 (ICSE (Companion Volume), 2018)

Managing concurrent testing of data race with ComRaDe. - Jian Gao 008; Xin Yang; Yu Jiang 001; Han Liu 010; Weiliang Ying; Wanting Sun; Ming Gu 001 (ISSTA, 2018)

VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary. - Jian Gao 008; Xin Yang; Ying Fu; Yu Jiang 001; Jiaguang Sun 001 (ASE, 2018)

S-gram: towards semantic-aware security auditing for Ethereum smart contracts. - Han Liu 010; Chao Liu 032; Wenqi Zhao; Yu Jiang 001; Jiaguang Sun 001 (ASE, 2018)

Jbench: a dataset of data races for concurrency testing. - Jian Gao 008; Xin Yang; Yu Jiang 001; Han Liu 010; Weiliang Ying; Xian Zhang (MSR, 2018)

Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP. - Andrew Yi-Zong Ou; Maryam Rahmaniheris; Yu Jiang 001; Lui Sha; Zhicheng Fu; Shangping Ren (SAC, 2018)

VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation. - Jian Gao 008; Xin Yang; Ying Fu; Yu Jiang 001; Heyuan Shi; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2018)

DLFuzz: differential fuzzing testing of deep learning systems. - Jianmin Guo; Yu Jiang 001; Yue Zhao; Quan Chen 002; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2018)

PAFL: extend fuzzing optimizations of single mode to industrial parallel mode. - Jie Liang 006; Yu Jiang 001; Yuanliang Chen; Mingzhe Wang; Chijin Zhou; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2018)

EClone: detect semantic clones in Ethereum via symbolic transaction sketch. - Han Liu 010; Zhiqiang Yang; Chao Liu 032; Yu Jiang 001; Wenqi Zhao; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2018)

Fuzz testing in practice: Obstacles and solutions. - Jie Liang 006; Mingzhe Wang; Yuanliang Chen; Yu Jiang 001; Renwei Zhang (SANER, 2018)

A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases. - Zuxing Gu; Yu Jiang 001; Min Zhou 001; Ming Gu 001; Xiaoyu Song; Lui Sha (IEEE Access, 2018)

EnFuzz: From Ensemble Learning to Ensemble Fuzzing. - Yuanliang Chen; Yu Jiang 001; Jie Liang 006; Mingzhe Wang; Xun Jiao (CoRR, 2018)

QuanFuzz: Fuzz Testing of Quantum Program. - Jiyuan Wang; Ming Gao; Yu Jiang 001; Jian-Guang Lou; Yue Gao 002; Dongmei Zhang 001; Jiaguang Sun 001 (CoRR, 2018)

Sensor attack detection using history based pairwise inconsistency. - Kang Yang; Rui Wang 024; Yu Jiang 001; Houbing Song; Chenxia Luo; Yong Guan; Xiaojuan Li; Zhiping Shi 002 (Future Gener. Comput. Syst., 2018)

CLIM: A Cross-Level Workload-Aware Timing Error Prediction Model for Functional Units. - Xun Jiao; Abbas Rahimi; Yu Jiang 001; Jianguo Wang 001; Hamed Fatemi; José Pineda de Gyvez; Rajesh K. Gupta 001 (IEEE Trans. Computers, 2018)

From Offline Towards Real-Time Verification for Robot Systems. - Rui Wang 024; Yingxia Wei; Houbing Song; Yu Jiang 001; Yong Guan; Xiaoyu Song; Xiaojuan Li (IEEE Trans. Ind. Informatics, 2018)

Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. - Yu Jiang 001; Han Liu 010; Houbing Song; Hui Kong 004; Rui Wang 024; Yong Guan; Lui Sha (IEEE Trans. Intell. Transp. Syst., 2018)

Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. - Hui Kong 004; Ezio Bartocci; Yu Jiang 001; Thomas A. Henzinger (FORMATS, 2019)

Leopard: identifying vulnerable code for vulnerability assessment through program metrics. - Xiaoning Du 001; Bihuan Chen 001; Yuekang Li; Jianmin Guo; Yaqin Zhou; Yang Liu 003; Yu Jiang 001 (ICSE, 2019)

Vetting API usages in C programs with IMChecker. - Zuxing Gu; Jiecheng Wu; Chi Li; Min Zhou 001; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001 (ICSE (Companion Volume), 2019)

Engineering a Better Fuzzer with Synergically Integrated Optimizations. - Jie Liang 006; Yuanliang Chen; Mingzhe Wang; Yu Jiang 001; Zijiang Yang 006; Chengnian Sun; Xun Jiao; Jiaguang Sun 001 (ISSRE, 2019)

Go-Sanitizer: Bug-Oriented Assertion Generation for Golang. - Cong Wang 020; Hao Sun 021; Yiwen Xu; Yu Jiang 001; Huafeng Zhang; Ming Gu 001 (ISSRE Workshops, 2019)

Go-clone: graph-embedding based clone detector for Golang. - Cong Wang 020; Jian Gao 008; Yu Jiang 001; Zhenchang Xing; Huafeng Zhang; Weiliang Yin; Ming Gu 001; Jiaguang Sun 001 (ISSTA, 2019)

Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design. - Yu Jiang 001; Mingzhe Wang; Xun Jiao; Houbing Song; Hui Kong 004; Rui Wang 024; Yongxin Liu; Jian Wang 061; Jiaguang Sun 001 (iThings/GreenCom/CPSCom/SmartData, 2019)

Enabling clone detection for ethereum via smart contract birthmarks. - Han Liu 010; Zhiqiang Yang; Yu Jiang 001; Wenqi Zhao; Jiaguang Sun 001 (ICPC, 2019)

VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization. - Chijin Zhou; Mingzhe Wang; Jie Liang 006; Zhe Liu 001; Chengnian Sun; Yu Jiang 001 (ASE, 2019)

EVMFuzzer: detect EVM vulnerabilities via fuzz testing. - Ying Fu; Meng Ren; Fuchen Ma; Heyuan Shi; Xin Yang; Yu Jiang 001; Huizhong Li; Xiang Shi (ESEC/SIGSOFT FSE, 2019)

Industry practice of coverage-guided enterprise Linux kernel fuzzing. - Heyuan Shi; Runzhe Wang; Ying Fu; Mingzhe Wang; Xiaohai Shi; Xun Jiao; Houbing Song; Yu Jiang 001; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2019)

IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs. - Zuxing Gu; Min Zhou 001; Jiecheng Wu; Yu Jiang 001; Jiaxiang Liu 001; Ming Gu 001 (TASE, 2019)

EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers. - Yuanliang Chen; Yu Jiang 001; Fuchen Ma; Jie Liang 006; Mingzhe Wang; Chijin Zhou; Xun Jiao; Zhuo Su 005 (USENIX Security Symposium, 2019)

EVM*: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine. - Fuchen Ma; Ying Fu; Meng Ren; Mingzhe Wang; Yu Jiang 001; Kaixiang Zhang; Huizhong Li; Xiang Shi (SANER, 2019)

EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine. - Ying Fu; Meng Ren; Fuchen Ma; Yu Jiang 001; Heyuan Shi; Jiaguang Sun 001 (CoRR, 2019)

GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. - Fuchen Ma; Ying Fu; Meng Ren; Wanting Sun; Zhe Liu 001; Yu Jiang 001; Jun Sun 001; Jiaguang Sun 001 (CoRR, 2019)

RNN-Test: Adversarial Testing Framework for Recurrent Neural Network Systems. - Jianmin Guo; Yue Zhao; Xueying Han; Yu Jiang 001; Jiaguang Sun 001 (CoRR, 2019)

Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. - Yu Jiang 001; Houbing Song; Yixiao Yang; Han Liu 010; Ming Gu 001; Yong Guan; Jiaguang Sun 001; Lui Sha (ACM Trans. Cyber Phys. Syst., 2019)

Polar: Function Code Aware Fuzz Testing of ICS Protocol. - Zhengxiong Luo 002; Feilong Zuo; Yu Jiang 001; Jian Gao 008; Xun Jiao; Jiaguang Sun 001 (ACM Trans. Embed. Comput. Syst., 2019)

Vulnerable Code Clone Detection for Operating System Through Correlation-Induced Learning. - Heyuan Shi; Runzhe Wang; Ying Fu; Yu Jiang 001; Jian Dong; Kun Tang; Jiaguang Sun 001 (IEEE Trans. Ind. Informatics, 2019)

TEVoT: Timing Error Modeling of Functional Units under Dynamic Voltage and Temperature Variations. - Xun Jiao; Dongning Ma; Wanli Chang 001; Yu Jiang 001 (DAC, 2020)

ICS Protocol Fuzzing: Coverage Guided Packet Crack and Generation. - Zhengxiong Luo 002; Feilong Zuo; Yuheng Shen; Xun Jiao; Wanli Chang 001; Yu Jiang 001 (DAC, 2020)

Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks. - Xiaotian Dai 001; Shuai Zhao 004; Yu Jiang 001; Xun Jiao; Xiaobo Sharon Hu; Wanli Chang 001 (ICCAD, 2020)

Escape from escape analysis of Golang. - Cong Wang 020; Mingrui Zhang; Yu Jiang 001; Huafeng Zhang; Zhenchang Xing; Ming Gu 001 (ICSE (SEIP), 2020)

Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling. - Chijin Zhou; Mingzhe Wang; Jie Liang 006; Zhe Liu 001; Yu Jiang 001 (ASE, 2020)

EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking. - Jian Gao 008; Yiwen Xu; Yu Jiang 001; Zhe Liu 001; Wanli Chang 001; Xun Jiao; Jiaguang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Dynamic DAG Scheduling on Multiprocessor Systems: Reliability, Energy, and Makespan. - Jing Huang 012; Renfa Li; Xun Jiao; Yu Jiang 001; Wanli Chang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

LEVAX: An Input-Aware Learning-Based Error Model of Voltage-Scaled Functional Units. - Xun Jiao; Dongning Ma; Wanli Chang 001; Yu Jiang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

HDTest: Differential Fuzz Testing of Brain-Inspired Hyperdimensional Computing. - Dongning Ma; Jianmin Guo; Yu Jiang 001; Xun Jiao (DAC, 2021)

PAVFuzz: State-Sensitive Fuzz Testing of Protocols in Autonomous Vehicles. - Feilong Zuo; Zhengxiong Luo 002; Junze Yu; Zhe Liu 001; Yu Jiang 001 (DAC, 2021)

Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing. - Mingzhe Wang; Zhiyong Wu 010; Xinyi Xu; Jie Liang 006; Chijin Zhou; Huafeng Zhang; Yu Jiang 001 (ICSE (SEIP), 2021)

IntelliGen: Automatic Driver Synthesis for Fuzz Testing. - Mingrui Zhang; Jianzhong Liu; Fuchen Ma; Huafeng Zhang; Yu Jiang 001 (ICSE (SEIP), 2021)

Industrial Oriented Evaluation of Fuzzing Techniques. - Mingzhe Wang; Jie Liang 006; Chijin Zhou; Yuanliang Chen; Zhiyong Wu 010; Yu Jiang 001 (ICST, 2021)

Poster: Fuzz Testing of Quantum Program. - Jiyuan Wang; Fuchen Ma; Yu Jiang 001 (ICST, 2021)

SCStudio: a secure and efficient integrated development environment for smart contracts. - Meng Ren; Fuchen Ma; Zijing Yin; Huizhong Li; Ying Fu; Ting Chen 002; Yu Jiang 001 (ISSTA, 2021)

Empirical evaluation of smart contract testing: what is the best choice? - Meng Ren; Zijing Yin; Fuchen Ma; Zhenyang Xu; Yu Jiang 001; Chengnian Sun; Huizhong Li; Yan Cai 001 (ISSTA, 2021)

AdvDoor: adversarial backdoor attack of deep learning system. - Quan Zhang; Yifeng Ding; Yongqiang Tian 001; Jianmin Guo; Min Yuan; Yu Jiang 001 (ISSTA, 2021)

Brief Industry Paper: Catching IoT Malware in the Wild Using HoneyIoT. - Yiwen Xu; Yu Jiang 001; Lu Yu; Juan Li (RTAS, 2021)

Making smart contract development more secure and easier. - Meng Ren; Fuchen Ma; Zijing Yin; Ying Fu; Huizhong Li; Wanli Chang 001; Yu Jiang 001 (ESEC/SIGSOFT FSE, 2021)

HEALER: Relation Learning Guided Kernel Fuzzing. - Hao Sun 021; Yuheng Shen; Cong Wang 020; Jianzhong Liu; Yu Jiang 001; Ting Chen 002; Aiguo Cui (SOSP, 2021)

RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. - Mingzhe Wang; Jie Liang 006; Chijin Zhou; Yu Jiang 001; Rui Wang 024; Chengnian Sun; Jiaguang Sun 001 (USENIX ATC, 2021)

IntelliGen: Automatic Driver Synthesis for FuzzTesting. - Mingrui Zhang; Jianzhong Liu; Fuchen Ma; Huafeng Zhang; Yu Jiang 001 (CoRR, 2021)

Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network. - Yongqiang Tian 001; Wuqi Zhang; Ming Wen 001; Shing-Chi Cheung; Chengnian Sun; Shiqing Ma; Yu Jiang 001 (CoRR, 2021)

Security reinforcement for Ethereum virtual machine. - Fuchen Ma; Meng Ren; Ying Fu; Mingzhe Wang; Huizhong Li; Houbing Song; Yu Jiang 001 (Inf. Process. Manag., 2021)

DeepFuzzer: Accelerated Deep Greybox Fuzzing. - Jie Liang 006; Yu Jiang 001; Mingzhe Wang; Xun Jiao; Yuanliang Chen; Houbing Song; Kim-Kwang Raymond Choo (IEEE Trans. Dependable Secur. Comput., 2021)

Rtkaller: State-aware Task Generation for RTOS Fuzzing. - Yuheng Shen; Hao Sun 021; Yu Jiang 001; Heyuan Shi; Yixiao Yang; Wanli Chang 001 (ACM Trans. Embed. Comput. Syst., 2021)

Semantic Learning Based Cross-Platform Binary Vulnerability Search For IoT Devices. - Jian Gao 008; Xin Yang; Yu Jiang 001; Houbing Song; Kim-Kwang Raymond Choo; Jiaguang Sun 001 (IEEE Trans. Ind. Informatics, 2021)

Formal Design of Multi-Function Vehicle Bus Controller. - Yu Jiang 001; Mingzhe Wang; Zhuo Su 005; Yixiao Yang; Huihui Wang 001 (IEEE Trans. Intell. Transp. Syst., 2021)

Coverage Guided Differential Adversarial Testing of Deep Learning Systems. - Jianmin Guo; Yue Zhao; Houbing Song; Yu Jiang 001 (IEEE Trans. Netw. Sci. Eng., 2021)

Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker. - Jian Gao 008; Yu Jiang 001; Zhe Liu 001; Xin Yang; Cong Wang 020; Xun Jiao; Zijiang Yang 006; Jiaguang Sun 001 (IEEE Trans. Software Eng., 2021)

HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Yixiao Yang; Yu Jiang 001; Rui Wang 024; Wanli Chang 001; Jia-Guang Sun 001 (DAC, 2022)

Unicorn: detect runtime errors in time-series databases with hybrid input synthesis. - Zhiyong Wu 010; Jie Liang 006; Mingzhe Wang; Chijin Zhou; Yu Jiang 001 (ISSTA, 2022)

Griffin : Grammar-Free DBMS Fuzzing. - Jingzhou Fu; Jie Liang 006; Zhiyong Wu 010; Mingzhe Wang; Yu Jiang 001 (ASE, 2022)

Empirical Study of System Resources Abused by IoT Attackers. - Zijing Yin; Yiwen Xu; Chijin Zhou; Yu Jiang 001 (ASE, 2022)

Odin: on-demand instrumentation with on-the-fly recompilation. - Mingzhe Wang; Jie Liang 006; Chijin Zhou; Zhiyong Wu 010; Xinyi Xu; Yu Jiang 001 (PLDI, 2022)

Group-based corpus scheduling for parallel fuzzing. - Taotao Gu; Xiang Li 078; Shuaibing Lu; Jianwen Tian; Yuanping Nie; Xiaohui Kuang; Zhechao Lin; Chenyifan Liu; Jie Liang 006; Yu Jiang 001 (ESEC/SIGSOFT FSE, 2022)

Industry practice of configuration auto-tuning for cloud applications and services. - Runzhe Wang; Qinglong Wang; Yuxi Hu; Heyuan Shi; Yuheng Shen; Yu Zhan; Ying Fu; Zheng Liu; Xiaohai Shi; Yu Jiang 001 (ESEC/SIGSOFT FSE, 2022)

Minerva: browser API fuzzing with dynamic mod-ref analysis. - Chijin Zhou; Quan Zhang; Mingzhe Wang; Lihua Guo; Jie Liang 006; Zhe Liu 001; Mathias Payer; Yu Jiang 001 (ESEC/SIGSOFT FSE, 2022)

PATA: Fuzzing with Path Aware Taint Analysis. - Jie Liang 006; Mingzhe Wang; Chijin Zhou; Zhiyong Wu 010; Yu Jiang 001; Jianzhong Liu; Zhe Liu 001; Jiaguang Sun 001 (SP, 2022)

KSG: Augmenting Kernel Fuzzing with System Call Specification Generation. - Hao Sun 021; Yuheng Shen; Jianzhong Liu; Yiru Xu; Yu Jiang 001 (USENIX ATC, 2022)

DEVoT: Dynamic Delay Modeling of Functional Units Under Voltage and Temperature Variations. - Dongning Ma; Xinqiao Zhang; Ke Huang 001; Yu Jiang 001; Wanli Chang 001; Xun Jiao (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Tardis: Coverage-Guided Embedded Operating System Fuzzing. - Yuheng Shen; Yiru Xu; Hao Sun 021; Jianzhong Liu; Zichen Xu 001; Aiguo Cui; Heyuan Shi; Yu Jiang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Code Synthesis for Dataflow-Based Embedded Software Design. - Zhuo Su 005; Dongyan Wang; Yixiao Yang; Yu Jiang 001; Wanli Chang 001; Liming Fang 001; Wen Li; Jia-Guang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

MDD: A Unified Model-Driven Design Framework for Embedded Control Software. - Zhuo Su 005; Dongyan Wang; Yixiao Yang; Zehong Yu; Wanli Chang 001; Wen Li; Aiguo Cui; Yu Jiang 001; Jiaguang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

MIDAS: Safeguarding IoT Devices Against Malware via Real-Time Behavior Auditing. - Yiwen Xu; Zijing Yin; Yiwei Hou; Jianzhong Liu; Yu Jiang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Mercury: Instruction Pipeline Aware Code Generation for Simulink Models. - Zehong Yu; Zhuo Su 005; Yixiao Yang; Jie Liang 006; Yu Jiang 001; Aiguo Cui; Wanli Chang 001; Rui Wang 024 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Vulnerability Detection of ICS Protocols via Cross-State Fuzzing. - Feilong Zuo; Zhengxiong Luo 002; Junze Yu; Ting Chen 002; Zichen Xu 001; Aiguo Cui; Yu Jiang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

The Classification and Detection of Malware Using Soft Relevance Evaluation. - Yongchao Zhang; Zhe Liu 001; Yu Jiang 001 (IEEE Trans. Reliab., 2022)

RNN-Test: Towards Adversarial Testing for Recurrent Neural Network Systems. - Jianmin Guo; Quan Zhang; Yue Zhao; Heyuan Shi; Yu Jiang 001; Jia-Guang Sun 001 (IEEE Trans. Software Eng., 2022)

Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios. - Fuchen Ma; Zhenyang Xu; Meng Ren; Zijing Yin; Yuanliang Chen; Lei Qiao 002; Bin Gu 006; Huizhong Li; Yu Jiang 001; Jia-Guang Sun 001 (IEEE Trans. Software Eng., 2022)

Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos. - Fuchen Ma; Yuanliang Chen; Yuanhang Zhou; Jingxuan Sun; Zhuo Su 005; Yu Jiang 001; Jiaguang Sun 001; Huizhong Li (CCS, 2023)

Fault Tolerance in Time-Sensitive Networking with Mixed-Critical Traffic. - Wenhong Ma; Xiangzhen Xiao; Guoqi Xie; Nan Guan; Yu Jiang 001; Wanli Chang 001 (DAC, 2023)

STCG: State-Aware Test Case Generation for Simulink Models. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Yixiao Yang; Rui Wang 024; Wanli Chang 001; Aiguo Cui; Yu Jiang 001 (DAC, 2023)

Sequence-Oriented DBMS Fuzzing. - Jie Liang 006; Yaoguang Chen; Zhiyong Wu 010; Jingzhou Fu; Mingzhe Wang; Yu Jiang 001; Xiangdong Huang 001; Ting Chen 002; Jiashui Wang; Jiajia Li (ICDE, 2023)

Finding Causally Different Tests for an Industrial Control System. - Christopher M. Poskitt; Yuqi Chen 001; Jun Sun 001; Yu Jiang 001 (ICSE, 2023)

Daisy: Effective Fuzz Driver Synthesis with Object Usage Sequence Analysis. - Mingrui Zhang; Chijin Zhou; Jianzhong Liu; Mingzhe Wang; Jie Liang 006; Juan Zhu; Yu Jiang 001 (ICSE-SEIP, 2023)

CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems. - Quan Zhang; Yongqiang Tian 001; Yifeng Ding; Shanshan Li 001; Chengnian Sun; Yu Jiang 001; Jiaguang Sun 001 (ISSTA, 2023)

ConfTainter: Static Taint Analysis For Configuration Options. - Teng Wang 004; Haochen He; Xiaodong Liu 004; Shanshan Li 001; Zhouyang Jia; Yu Jiang 001; Qing Liao 001; Wang Li 003 (ASE, 2023)

LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols. - Fuchen Ma; Yuanliang Chen; Meng Ren; Yuanhang Zhou; Yu Jiang 001; Ting Chen 002; Huizhong Li; Jiaguang Sun 001 (NDSS, 2023)

Brief Industry Paper: Directed Kernel Fuzz Testing on Real-time Linux. - Yuheng Shen; Shijun Chen; Jianzhong Liu; Yiru Xu; Qiang Zhang; Runzhe Wang; Heyuan Shi; Yu Jiang 001 (RTSS, 2023)

PPR: Pairwise Program Reduction. - Mengxiao Zhang; Zhenyang Xu; Yongqiang Tian 001; Yu Jiang 001; Chengnian Sun (ESEC/SIGSOFT FSE, 2023)

Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model. - Yuanliang Chen; Fuchen Ma; Yuanhang Zhou; Yu Jiang 001; Ting Chen 002; Jia-Guang Sun 001 (SP, 2023)

Limits of I/O Based Ransomware Detection: An Imitation Based Attack. - Chijin Zhou; Lihua Guo; Yiwei Hou; Zhenya Ma; Quan Zhang; Mingzhe Wang; Zhe Liu 001; Yu Jiang 001 (SP, 2023)

Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations. - Zhengxiong Luo 002; Junze Yu; Feilong Zuo; Jianzhong Liu; Yu Jiang 001; Ting Chen 002; Abhik Roychoudhury; Jiaguang Sun 001 (USENIX Security Symposium, 2023)

Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization. - Zijing Yin; Yiwen Xu; Fuchen Ma; Haohao Gao; Lei Qiao 002; Yu Jiang 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction. - Zhenyang Xu; Yongqiang Tian 001; Mengxiao Zhang; Gaosen Zhao; Yu Jiang 001; Chengnian Sun (Proc. ACM Program. Lang., 2023)

PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions. - Zhuo Su 005; Dongyan Wang; Zehong Yu; Yixiao Yang; Yu Jiang 001; Rui Wang 024; Wanli Chang 001; Wen Li; Aiguo Cui; Jia-Guang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts. - Fuchen Ma; Meng Ren; Lerong Ouyang; Yuanliang Chen; Juan Zhu; Ting Chen 002; Yingli Zheng; Xiao Dai; Yu Jiang 001; Jiaguang Sun 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Artifact for "Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction". - Zhenyang Xu; Yongqiang Tian 001; Mengxiao Zhang; Gaosen Zhao; Yu Jiang 001; Chengnian Sun (Zenodo, 2023)

Artifact for "Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction". - Zhenyang Xu; Yongqiang Tian 001; Mengxiao Zhang; Gaosen Zhao; Yu Jiang 001; Chengnian Sun (Zenodo, 2023)

Artifact for "PPR: Pairwise Program Reduction". - Mengxiao Zhang; Zhenyang Xu; Yongqiang Tian 001; Yu Jiang 001; Chengnian Sun (Zenodo, 2023)

V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. - Fuchen Ma; Meng Ren; Ying Fu; Wanting Sun; Houbing Song; Heyuan Shi; Yu Jiang 001; Huizhong Li (ACM Trans. Internet Techn., 2023)

Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications. - Yongqiang Tian 001; Wuqi Zhang; Ming Wen 001; Shing-Chi Cheung; Chengnian Sun; Shiqing Ma; Yu Jiang 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Building Dynamic System Call Sandbox with Partial Order Analysis. - Quan Zhang; Chijin Zhou; Yiwen Xu; Zijing Yin; Mingzhe Wang; Zhuo Su 005; Chengnian Sun; Yu Jiang 001; Jia-Guang Sun 001 (Proc. ACM Program. Lang., 2023)

Towards Better Semantics Exploration for Browser Fuzzing. - Chijin Zhou; Quan Zhang; Lihua Guo; Mingzhe Wang; Yu Jiang 001; Qing Liao 001; Zhiyong Wu 010; Shanshan Li 001; Bin Gu 006 (Proc. ACM Program. Lang., 2023)

Leveraging Binary Coverage for Effective Generation Guidance in Kernel Fuzzing. - Jianzhong Liu; Yuheng Shen; Yiru Xu; Yu Jiang 001 (CCS, 2024)

UWBAD: Towards Effective and Imperceptible Jamming Attacks Against UWB Ranging Systems with COTS Chips. - Yuqiao Yang; Zhongjie Wu; Yongzhao Zhang; Ting Chen 002; Jun Li; Jie Yang 003; Wenhao Liu; Xiaosong Zhang 001; Ruicong Shi; Jingwei Li 001; Yu Jiang 001; Zhuo Su 005 (CCS, 2024)

CFTCG: Test Case Generation for Simulink Model through Code Based Fuzzing. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Rui Wang 024; Yang Tao; Yu Jiang 001 (DAC, 2024)

AccMoS: Accelerating Model Simulation for Simulink via Code Generation. - Yifan Cheng; Zehong Yu; Zhuo Su 005; Ting Chen 002; Xiaosong Zhang 001; Yu Jiang 001 (DAC, 2024)

Effectively Sanitizing Embedded Operating Systems. - Jianzhong Liu; Yuheng Shen; Yiru Xu; Hao Sun 021; Heyuan Shi; Yu Jiang 001 (DAC, 2024)

Efficient Code Generation for Data-Intensive Simulink Models via Redundancy Elimination. - Zehong Yu; Zhuo Su 005; Yu Jiang 001; Aiguo Cui; Rui Wang 024 (DAC, 2024)

SPFuzz: Stateful Path based Parallel Fuzzing for Protocols in Autonomous Vehicles. - Junze Yu; Zhengxiong Luo 002; Fangshangyuan Xia; Yanyang Zhao; Heyuan Shi; Yu Jiang 001 (DAC, 2024)

Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program. - Hao Sun 021; Yiru Xu; Jianzhong Liu; Yuheng Shen; Nan Guan; Yu Jiang 001 (EuroSys, 2024)

At Which Training Stage Does Code Data Help LLMs Reasoning? - Yingwei Ma; Yue Liu; Yue Yu 001; Yuanliang Zhang; Yu Jiang 001; Changjian Wang; Shanshan Li 001 (ICLR, 2024)

Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation. - Jie Liang 006; Zhiyong Wu 010; Jingzhou Fu; Mingzhe Wang; Chengnian Sun; Yu Jiang 001 (ICSE, 2024)

MissConf: LLM-Enhanced Reproduction of Configuration-Triggered Bugs. - Ying Fu; Teng Wang 004; Shanshan Li 001; Jinyan Ding; Shulin Zhou; Zhouyang Jia; Wang Li 003; Yu Jiang 001; Xiangke Liao (ICSE Companion, 2024)

Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer. - Jingzhou Fu; Jie Liang 006; Zhiyong Wu 010; Yu Jiang 001 (ICSE, 2024)

An Empirical Study of Data Disruption by Ransomware Attacks. - Yiwei Hou; Lihua Guo; Chijin Zhou; Yiwen Xu; Zijing Yin; Shanshan Li 001; Chengnian Sun; Yu Jiang 001 (ICSE, 2024)

SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network. - Feng Luo; Ruijie Luo; Ting Chen 002; Ao Qiao; Zheyuan He; Shuwei Song; Yu Jiang 001; Sixing Li (ICSE, 2024)

Stop Pulling my Rug: Exposing Rug Pull Risks in Crypto Token to Investors. - Yuanhang Zhou; Jingxuan Sun; Fuchen Ma; Yuanliang Chen; Zhen Yan; Yu Jiang 001 (ICSE-SEIP, 2024)

MDIplier: Protocol Format Recovery via Hierarchical Inference. - Kai Liang; Zhengxiong Luo 002; Yanyang Zhao; Wenlong Zhang; Ronghua Shi; Yu Jiang 001; Heyuan Shi; Chao Hu (ISSRE, 2024)

Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement. - Gwihwan Go; Chijin Zhou; Quan Zhang; Xiazijian Zou; Heyuan Shi; Yu Jiang 001 (ISSTA, 2024)

Enhancing ROS System Fuzzing through Callback Tracing. - Yuheng Shen; Jianzhong Liu; Yiru Xu; Hao Sun 021; Mingzhe Wang; Nan Guan; Heyuan Shi; Yu Jiang 001 (ISSTA, 2024)

Logos: Log Guided Fuzzing for Protocol Implementations. - Feifan Wu; Zhengxiong Luo 002; Yanyang Zhao; Qingpeng Du; Junze Yu; Ruikang Peng; Heyuan Shi; Yu Jiang 001 (ISSTA, 2024)

Test Case Generation for Simulink Models using Model Fuzzing and State Solving. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Wanli Chang 001; Bin Gu 006; Yu Jiang 001 (ASE, 2024)

Industry Practice of Directed Kernel Fuzzing for Open-source Linux Distribution. - Heyuan Shi; Shijun Chen; Runzhe Wang; Yuhan Chen; Weibo Zhang; Qiang Zhang; Yuheng Shen; Xiaohai Shi; Chao Hu; Yu Jiang 001 (ASE, 2024)

Imperceptible Content Poisoning in LLM-Powered Applications. - Quan Zhang; Chijin Zhou; Gwihwan Go; Binqi Zeng; Heyuan Shi; Zichen Xu 001; Yu Jiang 001 (ASE, 2024)

DynPRE: Protocol Reverse Engineering via Dynamic Inference. - Zhengxiong Luo 002; Kai Liang; Yanyang Zhao; Feifan Wu; Junze Yu; Heyuan Shi; Yu Jiang 001 (NDSS, 2024)

Automatic Policy Synthesis and Enforcement for Protecting Untrusted Deserialization. - Quan Zhang; Yiwen Xu; Zijing Yin; Chijin Zhou; Yu Jiang 001 (NDSS, 2024)

Dodrio: Parallelizing Taint Analysis Based Fuzzing via Redundancy-Free Scheduling. - Jie Liang 006; Mingzhe Wang; Chijin Zhou; Zhiyong Wu 010; Jianzhong Liu; Yu Jiang 001 (SIGSOFT FSE Companion, 2024)

When Fuzzing Meets LLMs: Challenges and Opportunities. - Yu Jiang 001; Jie Liang 006; Fuchen Ma; Yuanliang Chen; Chijin Zhou; Yuheng Shen; Zhiyong Wu 010; Jingzhou Fu; Mingzhe Wang; Shanshan Li 001; Quan Zhang (SIGSOFT FSE Companion, 2024)

CVECenter: Industry Practice of Automated Vulnerability Management for Linux Distribution Community. - Jing Luo; Heyuan Shi; Yongchao Zhang; Runzhe Wang; Yuheng Shen; Yuao Chen; Xiaohai Shi; Rongkai Liu; Chao Hu; Yu Jiang 001 (SIGSOFT FSE Companion, 2024)

Human-Imperceptible Retrieval Poisoning Attacks in LLM-Powered Applications. - Quan Zhang; Binqi Zeng; Chijin Zhou; Gwihwan Go; Heyuan Shi; Yu Jiang 001 (SIGSOFT FSE Companion, 2024)

Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay. - Yuanliang Chen; Fuchen Ma; Yuanhang Zhou; Ming Gu 001; Qing Liao 001; Yu Jiang 001 (SP, 2024)

Saturn: Host-Gadget Synergistic USB Driver Fuzzing. - Yiru Xu; Hao Sun 021; Jianzhong Liu; Yuheng Shen; Yu Jiang 001 (SP, 2024)

WingFuzz: Implementing Continuous Fuzzing for DBMSs. - Jie Liang 006; Zhiyong Wu 010; Jingzhou Fu; Yiyuan Bai; Qiang Zhang; Yu Jiang 001 (USENIX ATC, 2024)

Data Coverage for Guided Fuzzing. - Mingzhe Wang; Jie Liang 006; Chijin Zhou; Zhiyong Wu 010; Jingzhou Fu; Zhuo Su 005; Qing Liao 001; Bin Gu 006; Bodong Wu; Yu Jiang 001 (USENIX Security Symposium, 2024)

PatchBert: Continuous Stable Patch Identification for Linux Kernel via Pre-trained Model Fine-tuning. - Rongkai Liu; Heyuan Shi; Yongchao Zhang; Runzhe Wang; Yuheng Shen; Yuao Chen; Jing Luo; Xiaohai Shi; Chao Hu; Yu Jiang 001 (SANER, 2024)

A Remedy to Compute-in-Memory with Dynamic Random Access Memory: 1FeFET-1C Technology for Neuro-Symbolic AI. - Xunzhao Yin; Hamza Errahmouni Barkam; Franz Müller 001; Yu Jiang 001; Mohsen Imani; Sukhrob Abdulazhanov; Alptekin Vardar; Nellie Laleni; Zijian Zhao 001; Jiahui Duan; Zhiguo Shi 001; Siddharth Joshi 001; et al. (CoRR, 2024)

PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting. - Chijin Zhou; Bingzhou Qian; Gwihwan Go; Quan Zhang; Shanshan Li 001; Yu Jiang 001 (Proc. ACM Program. Lang., 2024)

Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling Bugs. - Haoran Liu; Zhouyang Jia; Shanshan Li 001; Yan Lei; Yue Yu 001; Yu Jiang 001; Xiaoguang Mao; Xiangke Liao (Proc. ACM Softw. Eng., 2024)

Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures. - Jianzhong Liu; Yuheng Shen; Yiru Xu; Hao Sun 021; Yu Jiang 001 (ACM Trans. Softw. Eng. Methodol., 2024)

On the Caching Schemes to Speed Up Program Reduction. - Yongqiang Tian 001; Xueyan Zhang; Yiwen Dong 002; Zhenyang Xu; Mengxiao Zhang; Yu Jiang 001; Shing-Chi Cheung; Chengnian Sun (ACM Trans. Softw. Eng. Methodol., 2024)

CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Semantic-aware Fuzzing. - Yuanhang Zhou; Fuchen Ma; Yuanliang Chen; Meng Ren; Yu Jiang 001 (ACM Trans. Softw. Eng. Methodol., 2024)

Parallel Fuzzing of IoT Messaging Protocols Through Collaborative Packet Generation. - Zhengxiong Luo 002; Junze Yu; Qingpeng Du; Yanyang Zhao; Feifan Wu; Heyuan Shi; Wanli Chang 001; Yu Jiang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

ECG: Augmenting Embedded Operating System Fuzzing via LLM-Based Corpus Generation. - Qiang Zhang; Yuheng Shen; Jianzhong Liu; Yiru Xu; Heyuan Shi; Yu Jiang 001; Wanli Chang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

HSTCG: State-Aware Simulink Model Test Case Generation With Heuristic Strategy. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Yixiao Yang; Rui Wang 024; Wanli Chang 001; Aiguo Cui; Yu Jiang 001 (IEEE Trans. Software Eng., 2024)

Themis: Finding Imbalance Failures in Distributed File Systems via a Load Variance Model. - Yuanliang Chen; Fuchen Ma; Yuanhang Zhou; Zhen Yan; Qing Liao 001; Yu Jiang 001 (EuroSys, 2025)

Understanding and Detecting SQL Function Bugs: Using Simple Boundary Arguments to Trigger Hundreds of DBMS Bugs. - Jingzhou Fu; Jie Liang 006; Zhiyong Wu 010; Yanyang Zhao; Shanshan Li 001; Yu Jiang 001 (EuroSys, 2025)

SUNFLOWER: Enhancing Linux Kernel Fuzzing via Exploit-Driven Seed Generation. - Qiang Zhang; Yuheng Shen; Jianzhong Liu; Yiru Xu; Heyuan Shi; Yu Jiang 001; Wanli Chang 001 (SEIP@ICSE, 2025)

PUPPY: Finding Performance Degradation Bugs in DBMSs via Limited-Optimization Plan Construction. - Zhiyong Wu 010; Jie Liang 006; Jingzhou Fu; Mingzhe Wang; Yu Jiang 001 (ICSE, 2025)

Coni: Detecting Database Connector Bugs via State-Aware Test Case Generation. - Wenqian Deng; Jie Liang 006; Zhiyong Wu 010; Jingzhou Fu; Mingzhe Wang; Yu Jiang 001 (ICSE, 2025)

Thanos: DBMS Bug Detection via Storage Engine Rotation Based Differential Testing. - Ying Fu; Zhiyong Wu 010; Yuanliang Zhang; Jie Liang 006; Jingzhou Fu; Yu Jiang 001; Shanshan Li; Xiangke Liao (ICSE, 2025)

Janus: Detecting Rendering Bugs in Web Browsers via Visual Delta Consistency. - Chijin Zhou; Quan Zhang; Bingzhou Qian; Yu Jiang 001 (ICSE, 2025)

PeachCI: Scalable Continuous Integration of Generation-Based Protocol Fuzzing. - Wanli Chen; Yuanliang Chen; Fuchen Ma; Ruikang Peng; Qi Xu; Yu Jiang 001; Qiang Fu; Heyuan Shi (SIGSOFT FSE Companion, 2025)

LSPAI: An IDE Plugin for LLM-Powered Multi-Language Unit Test Generation with Language Server Protocol. - Gwihwan Go; Chijin Zhou; Quan Zhang; Yu Jiang 001; Zhao Wei (SIGSOFT FSE Companion, 2025)

DDLumos: Understanding and Detecting Atomic DDL Bugs in DBMSs. - Zhiyong Wu 010; Jie Liang 006; Jingzhou Fu; Wenqian Deng; Yu Jiang 001 (USENIX ATC, 2025)

CAFault: Enhance Fault Injection Technique in Practical Distributed Systems via Abundant Fault-Dependent Configurations. - Yuanliang Chen; Fuchen Ma; Yuanhang Zhou; Zhen Yan; Yu Jiang 001 (USENIX ATC, 2025)

Protocol syntax recovery via knowledge transfer. - Yanyang Zhao; Zhengxiong Luo 002; Kai Liang; Feifan Wu; Wenlong Zhang; Heyuan Shi; Yu Jiang 001 (Comput. Networks, 2025)

μScope: Evaluating storage stack robustness against SSD's latency variation. - Linxiao Bai; Shanshan Li 001; Zhouyang Jia; Yu Jiang 001; Yuanliang Zhang; Zichen Xu 001; Bin Lin 011; Si Zheng 003; Xiangke Liao (J. Syst. Archit., 2025)

DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems. - Cundi Fang; Jie Liang 006; Zhiyong Wu 010; Jingzhou Fu; Zhouyang Jia; Chun Huang; Yu Jiang 001; Shanshan Li 001 (Proc. ACM Softw. Eng., 2025)

Ransomware Detection through Temporal Correlation between Encryption and I/O Behavior. - Lihua Guo; Yiwei Hou; Chijin Zhou; Quan Zhang; Yu Jiang 001 (Proc. ACM Softw. Eng., 2025)

Preventing Disruption of System Backup against Ransomware Attacks. - Yiwei Hou; Lihua Guo; Chijin Zhou; Quan Zhang; Wenhuan Liu; Chengnian Sun; Yu Jiang 001 (Proc. ACM Softw. Eng., 2025)

PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux Kernel. - Rongkai Liu; Heyuan Shi; Shuning Liu; Chao Hu; Sisheng Li; Yuheng Shen; Runzhe Wang; Xiaohai Shi; Yu Jiang 001 (Proc. ACM Softw. Eng., 2025)

Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data-Driven Analysis. - Zhiyong Wu 010; Jie Liang 006; Jingzhou Fu; Mingzhe Wang; Yu Jiang 001 (Proc. ACM Softw. Eng., 2025)

Knight: Optimizing Code Generation for Simulink Models With Loop Reshaping. - Zehong Yu; Yixiao Yang; Zhuo Su 005; Rui Wang 024; Yang Tao; Yu Jiang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)

QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems. - Jinjing Shi; Zimeng Xiao; Heyuan Shi; Yu Jiang 001; Xuelong Li 001 (ACM Trans. Softw. Eng. Methodol., 2025)

T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax. - Zhenyang Xu; Yongqiang Tian 001; Mengxiao Zhang; Jiarui Zhang; Puzhuo Liu; Yu Jiang 001; Chengnian Sun (ACM Trans. Softw. Eng. Methodol., 2025)

LLM-Powered Static Binary Taint Analysis. - Puzhuo Liu; Chengnian Sun; Yaowen Zheng; Xuan Feng; Chuan Qin; Yuncheng Wang; Zhenyang Xu; Zhi Li 018; Peng Di; Yu Jiang 001; Limin Sun 001 (ACM Trans. Softw. Eng. Methodol., 2025)

Inducing Vulnerable Code Generation in LLM Coding Assistants. - Binqi Zeng; Quan Zhang; Chijin Zhou; Gwihwan Go; Yu Jiang 001; Heyuan Shi (CoRR, 2025)

AccSiM: State-Aware Simulation Acceleration for Simulink Models. - Yifan Cheng; Zehong Yu; Zhuo Su 005; Ting Chen 002; Xiaosong Zhang 001; Yu Jiang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)