| Unicorn: Detect Runtime Error in Time-Series Databases With Hybrid Input Synthesis | 0 | 0.34 | 2022 |
| Vulnerability Detection of ICS Protocols via Cross-State Fuzzing | 0 | 0.34 | 2022 |
| Code Synthesis for Dataflow-Based Embedded Software Design | 1 | 0.37 | 2022 |
| Tardis: Coverage-Guided Embedded Operating System Fuzzing | 0 | 0.34 | 2022 |
| HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis | 0 | 0.34 | 2022 |
| MIDAS: Safeguarding IoT Devices Against Malware via Real-Time Behavior Auditing | 0 | 0.34 | 2022 |
| DEVoT: Dynamic Delay Modeling of Functional Units Under Voltage and Temperature Variations | 0 | 0.34 | 2022 |
| MDD: A Unified Model-Driven Design Framework for Embedded Control Software | 0 | 0.34 | 2022 |
| Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing | 3 | 0.40 | 2021 |
| HDTest: Differential Fuzz Testing of Brain-Inspired Hyperdimensional Computing | 0 | 0.34 | 2021 |
| PAVFuzz: State-Sensitive Fuzz Testing of Protocols in Autonomous Vehicles | 0 | 0.34 | 2021 |
| Making smart contract development more secure and easier | 3 | 0.41 | 2021 |
| Formal Design of Multi-Function Vehicle Bus Controller | 0 | 0.34 | 2021 |
| Brief Industry Paper: Catching IoT Malware in the Wild Using HoneyIoT | 0 | 0.34 | 2021 |
| Security reinforcement for Ethereum virtual machine | 0 | 0.34 | 2021 |
| AdvDoor: adversarial backdoor attack of deep learning system | 1 | 0.35 | 2021 |
| TTDeep: Time-Triggered Scheduling for Real-Time Ethernet via Deep Reinforcement Learning | 0 | 0.34 | 2021 |
| Semantic Learning Based Cross-Platform Binary Vulnerability Search For IoT Devices | 4 | 0.41 | 2021 |
| DeepFuzzer: Accelerated Deep Greybox Fuzzing | 1 | 0.37 | 2021 |
| SCStudio: a secure and efficient integrated development environment for smart contracts | 1 | 0.37 | 2021 |
| Poster: Fuzz Testing of Quantum Program | 2 | 0.40 | 2021 |
| Empirical evaluation of smart contract testing: what is the best choice? | 0 | 0.34 | 2021 |
| Rtkaller: State-Aware Task Generation For Rtos Fuzzing | 1 | 0.36 | 2021 |
| Riff: Reduced Instruction Footprint For Coverage-Guided Fuzzing | 0 | 0.34 | 2021 |
| Coverage Guided Differential Adversarial Testing of Deep Learning Systems | 1 | 0.35 | 2021 |
| Escape from escape analysis of Golang | 0 | 0.34 | 2020 |
| Fixed-priority scheduling and controller co-design for time-sensitive networks | 3 | 0.42 | 2020 |
| LEVAX: An Input-Aware Learning-Based Error Model of Voltage-Scaled Functional Units | 0 | 0.34 | 2020 |
| EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking | 1 | 0.36 | 2020 |
| Ics Protocol Fuzzing: Coverage Guided Packet Crack And Generation | 0 | 0.34 | 2020 |
| Zeror: speed up fuzzing with coverage-sensitive tracing and scheduling | 1 | 0.37 | 2020 |
| Tevot: Timing Error Modeling Of Functional Units Under Dynamic Voltage And Temperature Variations | 0 | 0.34 | 2020 |
| Vetting API usages in C programs with IMChecker | 0 | 0.34 | 2019 |
| Enabling clone detection for ethereum via smart contract birthmarks | 4 | 0.42 | 2019 |
| Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design | 2 | 0.37 | 2019 |
| Go-Sanitizer: Bug-Oriented Assertion Generation for Golang | 0 | 0.34 | 2019 |
| Industry practice of coverage-guided enterprise Linux kernel fuzzing. | 3 | 0.41 | 2019 |
| Enfuzz: Ensemble Fuzzing With Seed Synchronization Among Diverse Fuzzers | 0 | 0.34 | 2019 |
| IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs | 0 | 0.34 | 2019 |
| A Sensor Attack Detection Method in Intelligent Vehicle with Multiple Sensors | 0 | 0.34 | 2019 |
| Go-clone: graph-embedding based clone detector for Golang | 0 | 0.34 | 2019 |
| Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. | 3 | 0.39 | 2019 |
| EVMFuzzer - detect EVM vulnerabilities via fuzz testing. | 3 | 0.40 | 2019 |
| EVM<sup>*</sup>: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine | 4 | 0.42 | 2019 |
| LEOPARD: Identifying Vulnerable Code for Vulnerability Assessment through Program Metrics. | 3 | 0.38 | 2019 |
| VisFuzz: understanding and intervening fuzzing with interactive visualization | 0 | 0.34 | 2019 |
| Engineering a Better Fuzzer with Synergically Integrated Optimizations | 1 | 0.35 | 2019 |
| EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine. | 1 | 0.34 | 2019 |
| EnFuzz: From Ensemble Learning to Ensemble Fuzzing. | 0 | 0.34 | 2018 |
| Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP. | 0 | 0.34 | 2018 |
