"Depiction and Playout of Multi-threaded Program Executions."

Abhik Roychoudhury (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics