XaBHbg3pNKAxMn6VfsjzdIRuW4uWEUFluDg1F2I950LqEZLeDuDrzydb22HP
Current position: Home >> Scientific Research >> Paper Publications

基于事件驱动机制的并发程序分析

Release Time:2019-03-12  Hits:

Indexed by: Conference Paper

Date of Publication: 2012-01-01

Prev One:DATAFLOW-BASED TYPE RECOVERY ALGORITHM FOR BINARY CODE

Next One:Effective Test Case Generation via Concolic Execution