TeamWork
Yan Cai, Ke Zhai, Shangru Wu, W. K. Chan · 2013
This paper presents the aim of TeamWork, our ongoing effort to develop a comprehensive dynamic deadlock confirmation tool for multithreaded programs. It also presents a refined object abstraction algorithm that refines the existing stack hash abstraction.