Release Time:2019-03-13 Hits:
Indexed by: Journal Article
Date of Publication: 2012-01-01
Journal: International Journal of Advancements in Computing Technology
Volume: 4
Issue: 19
Page Number: 453-461
Prev One:基于事件驱动机制的并发程序分析
Next One:Effective Test Case Generation via Concolic Execution