Yu Wang's homepage
Yu Wang's homepage
Home
Publications
Teaching
Service
Experience
Talk
Fundings
Contact
Light
Dark
Automatic
2
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)
垂悬指针检测与防御方法
Cite
×