D-Cube:使用PIN从多线程应用程序中发现动态设计的工具| IEEE会议出版物| IEEE Xplore