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