Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software

in Transactions on Software Engineering (TSE 22)

Deep Learning-Based Hybrid Fuzz Testing

High-precision Data Race Detection Method for Large Scale Programs

Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis

Automatic Buffer Overflow Warning Validation

in Journal of Computer Science and Technology (JCST)