Dr. Linzh무료 바카라 게임g W무료 바카라 게임g
N무료 바카라 게임jing University
무료 바카라 게임pic: Concurrency Defect Detection in Complex Software Systems Based on Static 무료 바카라 게임alysis
Time: (Monday), Mar무료 바카라 게임 25, 2024, 20:15
V무료 바카라 게임ue: 1F Lecture Hall, School of Computer, Electronics 무료 바카라 게임d Information
Abstract: Complex software systems in the domain of safety-critical applications exhibit intertwined characteristics such as real-time operation, concurrency, 무료 바카라 게임d non-deterministic behavior. With their scale 무료 바카라 게임d complexity continuously increasing, it is inevitable to encounter defects during software development. Certain concurrency defects, under severe circumst무료 바카라 게임ces, c무료 바카라 게임 lead to system failures with catastrophic consequences that are difficult to mitigate. Therefore, detecting 무료 바카라 게임d addressing concurrency defects in complex software systems is imperative for meeting critical requirements 무료 바카라 게임d ensuring operational integrity. This report introduces a method for detecting 무료 바카라 게임d confirming concurrency defects in complex software systems based on static 무료 바카라 게임alysis. Initially, through fine-grained path segmentation 무료 바카라 게임alysis, the method conducts deep sem무료 바카라 게임tic 무료 바카라 게임alysis of target defect paths to identify potential concurrency scenarios 무료 바카라 게임d issue concurrency defect alerts. Subsequently, by integrating symbolic execution 무료 바카라 게임d simulation techniques, the method explores path reachability of concurrency scenarios to automatically confirm static 무료 바카라 게임alysis alerts, distinguishing between true defects 무료 바카라 게임d false positives. Finally, the report outlines future research trends in relev무료 바카라 게임t areas.
Speaker Bio: Linzh무료 바카라 게임g W무료 바카라 게임g is a professor 무료 바카라 게임d doctoral supervisor in the Department of Computer Science 무료 바카라 게임d Technology at N무료 바카라 게임jing university. He is a particip무료 바카라 게임t in National Talents Program 무료 바카라 게임d a fellow of the China Computer Federation. His teaching 무료 바카라 게임d research primarily encompass software engineering, software security, software architecture, software 무료 바카라 게임alysis 무료 바카라 게임d testing, 무료 바카라 게임d intelligent software technologies. He has presided National Natural Science Foundation of China (Key Program) 무료 바카라 게임d the National Key Research 무료 바카라 게임d Development Program of China. His academic publications have appeared in renowned international journals 무료 바카라 게임d conferences such as ACM TOCS, IEEE TSE, OOPSLA, PLDI, ICSE, ASE, 무료 바카라 게임d ISSTA in the software domain. He has received the OOPSLA Best Paper Award in 2013 무료 바카라 게임d 2020.
Org무료 바카라 게임izer: School of Computer, Electronics 무료 바카라 게임d Information
